Skip to main content

Browse the archive

https://github.com/dlicata335/hott-agda
15 April 2020, 20:27:52 UTC
Branch name Release name Target Message Date
refs/tags/pinsn-cpp-paper pinsn-cpp-paper 0b90186 Version of pin(sn) proof for the CPP paper. 04 October 2013, 01:18:19 UTC
back to top