/goedel

Archived since the contents have been moved to the Hydras & Co. repository

Primary LanguageCoqMIT LicenseMIT

Stargazers