CoSearch
Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge

Skelet #1 is infinite ... we think

Mar 2023 · Shawn Ligocki ,Pavel Kropitz
Dependencies:
Skelet #1 is a translated cycler – Coq agrees