https://github.com/dlicata335/hott-agda
Revision dccc6507ccd337103e738a113831422f18dd64eb authored by emblack on 07 September 2017, 12:30:12 UTC, committed by emblack on 07 September 2017, 12:30:12 UTC
1 parent f0b5cc7
History
Tip revision: dccc6507ccd337103e738a113831422f18dd64eb authored by emblack on 07 September 2017, 12:30:12 UTC
updated thesis source file
Tip revision: dccc650

README

back to top