Code repositories: Revision history

25 August 2025

• curprev 09:0409:04, 25 August 2025‎ Int-y1 talk contribs‎ m 4,886 bytes +3‎ coq -> rocq
• curprev 08:3408:34, 25 August 2025‎ Int-y1 talk contribs‎ m 4,883 bytes −18‎ update far link
• curprev 08:2808:28, 25 August 2025‎ Int-y1 talk contribs‎ m 4,901 bytes −18‎ edit cps link
• curprev 07:1007:10, 25 August 2025‎ Int-y1 talk contribs‎ m 4,919 bytes −30‎ update ctl links

22 July 2025

• curprev 18:3718:37, 22 July 2025‎ Sligocki talk contribs‎ m 4,949 bytes +2‎ Fix typos Tag: Visual edit: Switched

9 July 2025

• curprev 02:5802:58, 9 July 2025‎ Int-y1 talk contribs‎ m 4,947 bytes +9‎ make table sortable Tag: Visual edit

7 July 2025

• curprev 08:5308:53, 7 July 2025‎ Int-y1 talk contribs‎ 4,938 bytes +203‎ add a lean 4 repo
• curprev 05:4605:46, 7 July 2025‎ Int-y1 talk contribs‎ 4,735 bytes +288‎ add languages

10 May 2025

• curprev 04:2804:28, 10 May 2025‎ C7X talk contribs‎ 4,447 bytes +72‎ Add another

6 February 2025

• curprev 19:3119:31, 6 February 2025‎ Sligocki talk contribs‎ 4,375 bytes −26‎ Link to Skelet Tag: Visual edit: Switched

24 November 2024

• curprev 11:0511:05, 24 November 2024‎ Mxdys talk contribs‎ m 4,401 bytes +134‎ add https://github.com/ccz181078/busycoq/tree/BB6/verify Tag: Visual edit
• curprev 10:4910:49, 24 November 2024‎ Tjligocki talk contribs‎ m 4,267 bytes −1‎ Tighten up the table a bit. Tag: Visual edit: Switched

16 June 2024

• curprev 11:3811:38, 16 June 2024‎ Cosmo talk contribs‎ 4,268 bytes −1‎ No edit summary Tag: Visual edit
• curprev 11:1611:16, 16 June 2024‎ Cosmo talk contribs‎ 4,269 bytes +2‎ No edit summary Tag: Visual edit
• curprev 11:1611:16, 16 June 2024‎ Cosmo talk contribs‎ 4,267 bytes +39‎ No edit summary Tag: Visual edit
• curprev 11:1511:15, 16 June 2024‎ Cosmo talk contribs‎ 4,228 bytes −58‎ No edit summary Tag: Visual edit
• curprev 11:1411:14, 16 June 2024‎ Cosmo talk contribs‎ 4,286 bytes +231‎ No edit summary Tag: Visual edit
• curprev 11:1011:10, 16 June 2024‎ Cosmo talk contribs‎ 4,055 bytes −2‎ No edit summary
• curprev 11:1011:10, 16 June 2024‎ Cosmo talk contribs‎ 4,057 bytes +216‎ No edit summary Tag: Visual edit
• curprev 11:0111:01, 16 June 2024‎ Cosmo talk contribs‎ 3,841 bytes −196‎ No edit summary Tag: Visual edit
• curprev 10:4410:44, 16 June 2024‎ Cosmo talk contribs‎ 4,037 bytes +718‎ No edit summary Tag: Visual edit

4 June 2024

• curprev 19:5719:57, 4 June 2024‎ Cosmo talk contribs‎ 3,319 bytes +71‎ No edit summary

29 May 2024

• curprev 12:1212:12, 29 May 2024‎ UncombedCoconut talk contribs‎ 3,248 bytes +3,248‎ Created page with "This is a stub, to be expanded to a family of pages (probably) explaining the deciders' capabilities and other info about them. * [https://github.com/bbchallenge/bbchallenge-deciders The official bbchallenge deciders repo] * [https://github.com/ccz181078/Coq-BB5 Coq-BB5 by @mxdys] * [https://github.com/meithecatte/busycoq A hybrid Coq/Rust/OCaml repo implementing very fast deciders plus verified proofs, by @mei]..."