Software Developed by Adam Moss

  • An educational video game featuring an embedded proof assistant. Because the scope of the project is so large, it is expected that there will be many releases of increasing quality and feature-richness.

    • Freeware (Free)
    • Windows