Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge

Dafny verification of Halting Segment

Sep 2022 · Nathan Fenner
Dependencies:

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