project-pterodactyl
www.jonmsterling.com/01HC
dependent-types proof-assistant
Star 19
Fork 3
Watch
Open Closed
New
Crash when having holes under identically named top defs #3
Closed jonmsterling.com
· · 2 comments ·
wontfix