8 results found Sort:
- Filter by Primary Language:
- TypeScript (2)
- C (1)
- OCaml (1)
- Python (1)
- Rust (1)
- +
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Created
2021-04-10
252 commits to main branch, last one 11 days ago
This repository has no description...
Created
2016-11-09
4,225 commits to master branch, last one 15 days ago
Cicada Language (solo version)
Created
2021-03-28
6,370 commits to master branch, last one about a month ago
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, claus...
Created
2012-08-15
6,728 commits to master branch, last one 4 months ago
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
Created
2022-06-20
15 commits to main branch, last one 9 months ago
Cicada Language (PLCT little team)
Created
2022-08-07
1,864 commits to master branch, last one about a month ago
Resolution theorem proving for predicate logic in pure Python.
Created
2017-03-04
96 commits to master branch, last one 7 months ago
A community-developed re-implementation of the Starkware Stone Prover
Created
2023-08-31
8 commits to main branch, last one 5 months ago