GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → thehottgame → TheHoTTGame

thehottgame / TheHoTTGame

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

Programming Languages

Agda
84 projects
Nix
1067 projects

The HoTT Game

The Homotopy Type Theory (HoTT) Game is a project written by mathematicians for mathematicians interested in HoTT and no experience in proof verification, with the aim of introducing cubical agda as a tool for trying out mathematics in HoTT. This page will help you get the Game working for you.

This repository is a library of incomplete agda code, for the user to complete as part of the HoTT Game. For instructions on how to get started, visit this page.

The creators of this game are Joseph Hua, Ken Lee, and Bendit Chan.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].