CoSearch

Massively Collaborative Research

The Busy Beaver Challenge

bbchallenge.org

Meet-in-the-Middle Weighted FAR (MITMWFAR)

Oct 2023 · Iijil

Decider

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)