Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / HoTT/Coq-HoTT issues and pull requests
#14 - Compilation error with Coq 8.4
Issue -
State: closed - Opened by semit0ne about 12 years ago
- 3 comments
#13 - Notation reversion n
Issue -
State: closed - Opened by jcmckeown over 12 years ago
- 4 comments
#12 - Major cleanup of HoTT
Pull Request -
State: closed - Opened by andrejbauer over 12 years ago
- 7 comments
#11 - two more checks in cancel_units_in
Pull Request -
State: closed - Opened by jcmckeown over 12 years ago
#10 - The IT subdirectory is problematic
Issue -
State: closed - Opened by andrejbauer over 12 years ago
- 31 comments
#9 - Cleaned up circle examples, got rid of 8.2 compatibility.
Pull Request -
State: closed - Opened by andrejbauer over 12 years ago
- 1 comment
#8 - Makefile for Coq/IT
Pull Request -
State: closed - Opened by wires over 12 years ago
#7 - Many useful lemmas, including equiv <~> adjoint_equiv <~> hiso.
Pull Request -
State: closed - Opened by mikeshulman over 12 years ago
- 1 comment
#6 - Adding inductive types in HoTT
Pull Request -
State: closed - Opened by kristinas over 12 years ago
- 7 comments
#5 - Update HIT/Makefile also to avoid constant recompilation.
Pull Request -
State: closed - Opened by mikeshulman almost 13 years ago
#4 - Removed Unicode, total, and tpair; used == for paths.
Pull Request -
State: closed - Opened by mikeshulman almost 13 years ago
- 2 comments
#3 - Why are the Oberwolfach tutorials copied over rather than included as a submodule?
Issue -
State: closed - Opened by andrejbauer over 13 years ago
- 1 comment
#2 - Andrej's MFO tutorial
Pull Request -
State: closed - Opened by awodey over 13 years ago
- 1 comment
#1 - Andrej's MFO tutorial
Pull Request -
State: closed - Opened by awodey over 13 years ago