CoSearch

Massively Collaborative Research

The Busy Beaver Challenge

bbchallenge.org

Project

Tagged Contributions (4)

Coq-BB5

Apr 2024 · mxdys

Dependencies:

busycoq

,

FAR

,

Skelet #1 is a translated cycler – Coq agrees

,

MITMWFAR

,

n-GRAM CPS

,

Skelet #17 does not halt

Decider Formal Verification Coq Verifier Project

View Reviews (1) Children (0)

busycoq

Jul 2023 · mei

Decider Formal Verification Coq Project

View Reviews (0) Children (0)

Correctness of bbchallenge's deciders

May 2022 · Tristan Stérin

Write-up Project

View Reviews (0) Children (0)

(external) bbfind

May 2003 · Georgi Georgiev

Decider Project

View Reviews (0) Children (0)