Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with computer-assisted-proof
A curated list of projects in awesome lists tagged with computer-assisted-proof .
https://github.com/chris00/ocaml-interval
An interval library for OCaml
computer-assisted-proof interval-arithmetic ocaml rigorous scientific-computing validated
Last synced: 29 Oct 2024
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 smt-solver type-theoretic-mathematics typescript water-proof
Last synced: 27 Dec 2024
https://github.com/ewdlop/logic-note
computer-assisted-proof formal-logic proofs-as-programs
Last synced: 27 Dec 2024