swils / goedel-2005 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/goedel
Archived since the contents have been moved to the Hydras & Co. repository
Home Page: https://github.com/coq-community/hydra-battles
License: MIT License