proofs topic
List
proofs repositories
Math-for-CS-solutions
116
Stars
22
Forks
Watchers
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
Project-Euler-solutions
1.8k
Stars
678
Forks
Watchers
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
quadrable
292
Stars
12
Forks
Watchers
Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
karamel
388
Stars
59
Forks
Watchers
KaRaMeL is a tool for extracting low-level F* programs to readable C code
discrete-math-python-scripts
290
Stars
112
Forks
Watchers
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
gapt
91
Stars
18
Forks
Watchers
GAPT: General Architecture for Proof Theory
lens-algebra
19
Stars
0
Forks
Watchers
Type level algebraic "proofs" using lens combinators
aeneas
133
Stars
12
Forks
Watchers
A verification toolchain for Rust programs