Massively Collaborative Research
The Busy Beaver Challenge
Infos
| Handle | @Nathan-Fenner@cosearch.bbchallenge.org |
| Display Name | Nathan Fenner |
| GitHub | https://github.com/Nathan-Fenner |
| Discourse profile | https://discuss.bbchallenge.org/u/Nathan-Fenner/summary |
n-GRAM Closed Position Set
Dafny verification of Halting Segment
Dependencies:
Dafny verification of Cyclers
Dependencies: