Coq for Homotopy Type Theory
PPA description
Coq extended with support for Homotopy Type Theory.
8.5~stable20130415-1 corresponds to e88e47ca76200a5e52bd0f9397fe4900fa9b241b
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:ezyang/coq-hott to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:ezyang/coq-hott sudo apt update
For questions and bugs with software in this PPA please contact Edward Z. Yang.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
1 → 4 of 4 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
coq | 8.5~stable20130415-1~trusty11 | Edward Z. Yang () |
coq | 8.5~stable20130415-1~saucy11 | Edward Z. Yang () |
coq | 8.5~stable20130415-1~raring11 | Edward Z. Yang () |
coq | 8.5~stable20130415-1~precise11 | Edward Z. Yang () |
1 → 4 of 4 results | First • Previous • Next • Last |