Massively Collaborative Research
The Busy Beaver Challenge
Dafny verification of Halting Segment
Dependencies:
Featured Links
| Github | https://github.com/Nathan-Fenner/bbchallenge-dafny-deciders/blob/main/halting-segment.dfy |
| Chat about it | https://discord.com/channels/960643023006490684/1028745685501214740 |