TheHoTTGame

Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT (by thehottgame)

TheHoTTGame reviews and mentions

Posts with mentions or reviews of TheHoTTGame. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning TheHoTTGame yet.
Tracking mentions began in Dec 2020.

Stats

Basic TheHoTTGame repo stats
1
121
2.8
2 months ago

The primary programming language of TheHoTTGame is Agda.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com