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

An interval library for OCaml

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

Last synced: 25 Mar 2025

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 type-theoretic-mathematics typescript water-proof

Last synced: 18 Feb 2025

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: 18 Feb 2025