Coq-BB5

https://github.com/ccz181078/coq-bb5

Coq-BB5 is a Coq project that formally proves theorems about Busy Beaver values, including the...

Tokens:19,237
Snippets:101
Trust Score:7.4
Update:9 months ago
Tokens:
Raw