goedel

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

Archived

28 stars

7 watching

5 forks

Language: Coq

last commit: about 2 years ago

coqdocker-coq-actiongodel-numberingincompleteness