Topic: "proof-assistants"
newca12/awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Size: 319 KB - Last synced at: 7 days ago - Pushed at: 10 days ago - Stars: 346 - Forks: 11
homotopy-io/homotopy-rs
A Rust/WASM implementation of homotopy.io
Language: Rust - Size: 219 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 100 - Forks: 7
uwplse/pumpkin-pi
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
Language: Coq - Size: 3.45 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 49 - Forks: 9
daviddoret/punctilious
A human-friendly and developer-friendly math proof assistant
Language: Python - Size: 55.8 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 2 - Forks: 0
Negabinary/Math-Playground
A GUI proof assistant
Language: GDScript - Size: 44.7 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
Danelnov/Lambda-Calculus-Formalization-
This formalization uses the De Bruijn indices, the objective is to formalize the Church-Rosser theorem
Language: Lean - Size: 23.4 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0
DPDmancul/agda-examples
Some examples of the usage of Agda as proof assistant. Mirror of https://gitlab.com/DPDmancul/agda-examples
Language: Agda - Size: 33.2 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
wkolowski/Dependent-Types-and-Theorem-Proving
Slides and code snippets for a talk I have given in November 2021.
Language: TeX - Size: 7.89 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
