9 results found Sort:

1.8k
30.5k
apache-2.0
742
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Created 2023-05-16
10,308 commits to main branch, last one a day ago
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
285 commits to main branch, last one 6 days ago
17
139
bsd-2-clause
11
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 about a year ago
25
137
other
9
This repository has no description...
Created 2016-11-09
4,253 commits to master branch, last one 13 days ago
Cicada Language (solo version)
Created 2021-03-28
6,372 commits to master branch, last one 2 months ago
7
119
unknown
1
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
Created 2022-06-20
15 commits to main branch, last one about a year ago
10
92
apache-2.0
6
Resolution theorem proving for predicate logic in pure Python.
Created 2017-03-04
96 commits to master branch, last one about a year ago
Cicada Language (PLCT little team)
Created 2022-08-07
1,874 commits to master branch, last one 2 months ago
A community-developed re-implementation of the Starkware Stone Prover
Created 2023-08-31
9 commits to main branch, last one 3 months ago