All Categories → No Category → proofs

Top 3 proofs open source projects

discrete-math-python-scripts

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

✭ 98

Jupyter Notebook snippets algorithms logic probability mathematics coursera recursion discrete-mathematics recursive combinatorics ilp invariants bayes sat-solver proofs induction sat ilp-solver

GAPT: General Architecture for Proof Theory

✭ 83

scala assembly proof theorem-proving tactics sat-solver proofs herbrand-disjunction

Fully proved small C functions (examples for verification course).

✭ 14

c Makefile proofs formal-verification acsl frama-c

1-3 of 3 proofs projects