Search this site
Embedded Files
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

Twitter link

Google Sites
Report abuse
Page details
Page updated
Google Sites
Report abuse