goedel

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

Archived

29 stars

7 watching

5 forks

Language: Coq

last commit: almost 2 years ago

coqdocker-coq-actiongodel-numberingincompleteness