https://github.com/jcpaik/sofa-designer

A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rational QP solver powered by CGAL

branch-and-bound computer-assisted-proof computer-assisted-proofs discrete-geometry geometric-algorithms optimization quadratic-programming

Last synced: 18 Jan 2026

https://github.com/chris00/ocaml-interval

An interval library for OCaml

computer-assisted-proof interval-arithmetic ocaml rigorous scientific-computing validated

Last synced: 23 Feb 2026

https://github.com/bachorp/mat

The Multi Agent Transportation Problem: Solvers, Evaluations, and Computer-Assisted Proofs

computer-assisted-proof conflict-based-search group-theory multi-agent-path-finding sagemath sat

Last synced: 18 Mar 2025

https://github.com/ewdlop/proof-assistance-note

https://en.wikipedia.org/wiki/Proof_assistant; 一錯特錯錯到底! 爆炸原理是重哪來的?

4-color-theorem computer-assisted-proof coq fstar hott humanoid lean qed self-referential smt-solver syllogism terence-tao type-theoretic-mathematics typescript water-proof

Last synced: 07 May 2026

https://github.com/ewdlop/logic-note

boolean-logic computer-assisted-proof first-order-logic formal-logic fuzzy-logic many-valued-logic modal-logic predicate-logic proofs-as-programs propositional-calculus three-state-logic three-valued-logic

Last synced: 03 Nov 2025