Fossy
fossy
Back to home

Rocq Prover projects

Browse, search, filter by language or platform, and sort the directory. See all languages · See all platforms.

lang: Rocq Prover
1 project
busy-beaver
busy-beaver
jeff87654/busy-beaver
Busy beaver work: an 8-state machine running the BB(7) champion's program with 36 digits (sigma = 12*(2^^37 3)+59, machine-checked in busycoq), analysis in Ligocki's notation
5stars0forksRocq Prover

Sponsored

Ad space
300 × 250 (IAB)
SponsorSponsorSponsorSponsor
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)