https://github.com/jaycech3n/Isabelle-HoTT
Revision 31dca5713d3fbd8401dd35cbf12c2cfcb4944db8 authored by Josh Chen on 17 July 2020, 08:35:07 UTC, committed by Josh Chen on 17 July 2020, 08:35:07 UTC
1 parent e75a2a2
Raw File
Tip revision: 31dca5713d3fbd8401dd35cbf12c2cfcb4944db8 authored by Josh Chen on 17 July 2020, 08:35:07 UTC
more testing
Tip revision: 31dca57
.gitignore
*~
\#*.thy#
\#*.ML#
Test.thy

back to top