Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge

Coq-BB5 - Repeated block decider (RepWL_ES)

Apr 2024 · mxdys
Dependencies:

Information: the review system is currently extremely minimal. Any ideas for improvement are welcome.