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

  • 2026 Scholarship Recipient Andy Sorg

      • announced on Twitter


  • 2025 Scholarship Recipient Theodore Berente

      • announced on Twitter


  • 2024 Scholarship Recipient Thomas Belcher

      • announced on Twitter


  • 2023 Scholarship Recipient Elijah Diller 

      • announced on Twitter

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