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

Link to more screenshots of examples provided

Links from below screen capture:

Pecan  

here  

https://github.com/ReedOei/Pecan  

this paper  

[ This is the one page from Reed's original website that we could not functionally recreate since it requires Prolog ]

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