Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
At homotopy type theory is given a dead link https://github.com/HoTT/HoTT/tree/master/Coq in the reference section. I am not sure what the intended content shall be - probably something like https://github.com/vladimirias/Foundations/.
With a lower-case “coq” the link still works https://github.com/HoTT/HoTT/tree/master/coq. But the stuff that used to be at that link (I think!) now turns out to be at https://github.com/HoTT/HoTT/tree/master/theories — and is different from the stuff at https://github.com/HoTT/HoTT/tree/master/coq/theories).
It’s too bad that these github pages don’t come with some elementary documentation (the README file doesn’t say what’s where.)
1 to 2 of 2