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

#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