CoSearch
Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge
All contributions
Infos
Handle @mateon1@cosearch.bbchallenge.org
Display Name Mateon1
Discord Display Name Mateon1
GitHub https://gist.github.com/mateon1
Discourse profile https://discuss.bbchallenge.org/u/mateon1
Implementation of Closed Position Set (CPS)
Reproduction of Halting Segment and forward implem
Closed Tape Language (CTL) SAT Solver