• Skip to primary navigation
  • Skip to content
  • Skip to footer
Shaun Harker
  • Github
  • Portfolio
  • Google Scholar
  • Google Search

    Agda

    Agda is a proof assistant program that can be used to formalize mathematical proofs. I used it to work through part of the Homotopy Type Theory Book.

    https://github.com/shaunharker/AgdaHoTT

    https://shaunharker.com/agda

    Updated: October 30, 2022

    Share on

    Twitter Facebook LinkedIn
    Previous Next
    • Follow:
    • Facebook
    • GitHub
    • Instagram
    • Twitter
    • LinkedIn
    • Feed
    © 2022 Shaun Harker. Powered by Jekyll & Minimal Mistakes.