Search this site
Skip to main content
Skip to navigation
Reed Oei
Home
Life of Reed Oei
Blog
Constructive Mathematics and Diaconescu's Theorem in Coq
Math Classes Should Be Less Useful
Coq (Part 3)
Coq (Part 2)
Coq (Part 1)
Why Prolog?
Publications
CV
Reed Oei
Home
Life of Reed Oei
Blog
Constructive Mathematics and Diaconescu's Theorem in Coq
Math Classes Should Be Less Useful
Coq (Part 3)
Coq (Part 2)
Coq (Part 1)
Why Prolog?
Publications
CV
More
Home
Life of Reed Oei
Blog
Constructive Mathematics and Diaconescu's Theorem in Coq
Math Classes Should Be Less Useful
Coq (Part 3)
Coq (Part 2)
Coq (Part 1)
Why Prolog?
Publications
CV
splashcomp20src-p17-p-3669927-48181-final.pdf
Google Sites
Report abuse
Page details
Page updated
Google Sites
Report abuse
splashcomp20src-p17-p-3669927-48181-final.pdf