CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
Finite Automata Reduction (FAR)
Finite Automata Reduction (FAR)
Oct 2022
·
Justin Blanchard
Decider
Details
Reviews
0
Children
5
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)
Reproduction of FAR
Apr 2023
·
Tristan Stérin
Dependencies:
FAR
Result Reproduction
Decider
Verifier
View
Reviews (0)
Children (0)
Write-up of Finite Automata Reduction
Apr 2023
·
Justin Blanchard
,
Tristan Stérin
Dependencies:
Write-up
,
FAR
Write-up
View
Reviews (3)
Children (0)
Reproduction of FAR
Jan 2023
·
Tony Guilfoyle
Dependencies:
FAR
Result Reproduction
Decider
Verifier
View
Reviews (0)
Children (0)
SAT-based FAR implementation
Oct 2022
·
Konrad Deka
Dependencies:
FAR
Decider
View
Reviews (0)
Children (0)
