Home My Page Projects Cauchy Reals in HoTT paper
Summary Activity News SCM

Project Members
Project Information

This project has not yet categorized itself in the Trove Software Map Registered: 2016-09-07 09:49
Activity Ranking: 0
View project Statistics
View list of RSS feeds available for this project.
Public Tools
SCM Repository (Git: 65 updates, 1 adds)
Project description

Latex files for upcoming paper on formalising Cauchy reals in Coq+HoTT.