Projects in Awesome Lists tagged with proofs

https://github.com/nayuki/project-euler-solutions

Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.

algorithms competitive-programming dynamic-programming haskell java math mathematica mathematics number-theory project-euler proofs python recursion

Last synced: 15 May 2025

https://github.com/nayuki/Project-Euler-solutions

Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.

algorithms competitive-programming dynamic-programming haskell java math mathematica mathematics number-theory project-euler proofs python recursion

Last synced: 26 Mar 2025

https://github.com/aeneasverif/aeneas

A verification toolchain for Rust programs

compiler coq deductive-reasoning formal-methods formal-verification fstar hol4 lean ocaml program-verification proofs rust rust-lang

Last synced: 28 May 2026

https://github.com/fstarlang/karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

c-language cryptography f-star proofs verification

Last synced: 15 May 2025

https://github.com/hoytech/quadrable

Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs

authenticated-dictionaries database embedded-database lmdb lmdbxx merkle-tree multi-version mvcc proofs

Last synced: 09 Apr 2025

https://github.com/AeneasVerif/aeneas

A verification toolchain for Rust programs

compiler coq deductive-reasoning formal-methods formal-verification fstar hol4 lean ocaml program-verification proofs rust rust-lang

Last synced: 26 Sep 2025

https://github.com/spamegg1/math-for-cs-solutions

Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)

calculus computer-science counting functions graph graph-theory induction logic math number-theory probability proofs random-walks rsa-cryptography set-theory sets solution

Last synced: 02 Jan 2026

https://github.com/spamegg1/epp-discrete-math-5th-solutions

Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition

algorithmic-complexity big-o circuits computer-science counting discrete-mathematics finite-state-automata functions graphs logic number-theory probability proofs regular-expressions relations sets trees

Last synced: 12 Feb 2026

https://github.com/gapt/gapt

GAPT: General Architecture for Proof Theory

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

Last synced: 10 Jan 2026

https://github.com/ZKProofs/ZKProofs.github.io

ZKProofs website

proofs zero-knowledge zk-snarks

Last synced: 13 Apr 2025

https://github.com/wiktor-k/openpgp-proofs

Like Keybase but distributed

keybase openpgp proofs

Last synced: 16 Oct 2025

https://github.com/philzook58/lens-algebra

Type level algebraic "proofs" using lens combinators

algebra lens polynomial proofs

Last synced: 26 Apr 2025

https://github.com/chakravala/Math-Research-Notes

Theorems, Definitions, Papers, Research

latex latex-document lecture-notes math mathematics proof proofs theorem theorems

Last synced: 22 Jul 2025

https://github.com/chakravala/math-research-notes

Theorems, Definitions, Papers, Research

latex latex-document lecture-notes math mathematics proof proofs theorem theorems

Last synced: 25 Oct 2025

https://github.com/sstucki/f-omega-int-agda

F-omega with interval kinds mechanized in Agda

agda agda-mechanization interval-kinds proofs semantics subtypes

Last synced: 11 Jan 2026

https://github.com/acorrenson/oratio

Translate natural deduction proofs into natural language.

logic proof-assistant proofs

Last synced: 09 Jul 2025

https://github.com/jsign/go-unixfs-proof

UnixFS DAG files offset-based proofs

filecoin ipfs ipld proofs unixfs

Last synced: 18 Mar 2025

https://github.com/hazelgrove/hazelnut-livelits-agda

mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper

agda proofs

Last synced: 28 Feb 2025

https://github.com/cuppajoeman/openmath

education learning mathematics proofs recursive

Last synced: 21 Jan 2026

https://github.com/jcagarcia/proofs

Repository to upload my own proofs of concept and some code examples

proof-of-concept proofs spring spring-boot spring-roo

Last synced: 28 Jul 2025

https://github.com/yurrriq/friendly-intro-to-group-theory

Working through the exercises in "A Friendly Introduction to Group Theory"

gap group-theory latex learning-by-book proofs

Last synced: 29 Apr 2026

https://github.com/gyakobo/recognizing-context-free-languages-with-a-pda

The following project should define a PDA that in its turn would recognize a specific context-free language.

context-free-language proofs pushdown-automaton python3 theoretical-computer-science

Last synced: 06 Jun 2026

https://github.com/zchn/eth-acl2

An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.

acl2 ethereum evm formal-methods formalization proofs verification

Last synced: 30 Dec 2025

https://github.com/dragonwasrobot/formal-moessner

A formal study of Moessner's sieve

coq proofs

Last synced: 17 Mar 2025

https://github.com/eadm/rational-setoid

Setoid for rational numbers written in Idris

idris proofs setoid

Last synced: 20 Jan 2026

https://github.com/inaciovasquez2020/vasquez-docs

Documentation portal for research artifacts, proofs, and formalization notes by Inacio Vasquez.

complexity-theory computability documentation formal-verification geometry logic proofs research

Last synced: 04 Apr 2026

https://github.com/mattdean1/functional-programming

Exercises in Agda

agda functional-programming proofs

Last synced: 05 Mar 2026

https://github.com/akayibrahim/challenge

Social Network For Competition - Project 3

artemis aspect-oriented-programming challenge competition java microservice mockito mongodb proofs rabbitmq rest-api social-network spring-scheduler springboot unit-test

Last synced: 19 Apr 2026

https://github.com/brendanzab/agda-logic-playground

Messing around with propositional logic in Agda

agda dependent-types mathematics proofs propositional-logic

Last synced: 31 Jan 2026

https://github.com/gyakobo/recognizing-an-email-adress-with-dfa

The following example is meant to demonstrate how a Deterministic Finite Automata(DFA) algorithm is supposed to guide identify whether a string is an email adress ending with .gov or .gr

dfa finite-state-machine njit proofs python3 theoretical-computer-science

Last synced: 28 Jun 2025

https://github.com/vincentlaucsb/ucsb-math-122ab--complex-variables

A collection of notes, summary sheets, and homework for UCSB's complex analysis series.

analysis complex-analysis complex-numbers complex-variables dank homework math proofs summary-sheets

Last synced: 30 Jan 2026

https://github.com/mandarancio/proofkit

ADT and Proof editor

adt formal logic logickit proofs swift tools

Last synced: 22 Mar 2025

https://github.com/spamegg1/spamegg1-lean

Working through Functional Programming in Lean

dependent-types formal-verification functional-programming lean lean4 math proofs

Last synced: 02 Jan 2026

https://github.com/rubenseyer/pistophylax

Natural deduction proof assistant

logic natural-deduction proofs

Last synced: 04 Apr 2025

https://github.com/chenxingqiang/zero-knowledge-proofs

Zero Knowledge Proofs focusing on Basic Concepts, Interactive Learning, Zero Knowledge Proof Systems Comparison, Courses and Tutorials, SNARKs.

academic ai knowledge library machine-learning proofs quantum research tool zero zero-knowledge-proofs

Last synced: 02 Feb 2026

https://github.com/valkyoth/sagnir

Sagnir is a local-first, Rust-built, proof-carrying source control system with worlds, signed changes, causal memory, encrypted realms, and security-first provenance.

casual-memory encryption hackoctoberfest not-git-clone proofs rust rust-lang security source-control worlds

Last synced: 19 Jun 2026

https://github.com/filemon-mateus/tex-hw

Base LaTeX template useful for formatting homework assignments.

latex math proofs writing

Last synced: 07 Jul 2025

https://github.com/kokorinilya/math_logic

Homeworks for math logic course in ITMO University

functional-programming math-logic parser parsing proof-generating proofs syntax-analysis

Last synced: 03 Apr 2025

https://github.com/filemon-mateus/tex-hw-template

Base LaTeX template useful for formatting rigorous mathematically inclined assignments.

latex math proofs writing

Last synced: 08 Sep 2025

https://github.com/roldak/ipw

Interactive Proof Assistant for Welder

assistant gui proofs scala

Last synced: 17 Jun 2025

https://github.com/fatima-sami55/math-mindscape

Math Mindscape dives into core discrete math concepts like logic, proofs, set theory, functions, relations, combinatorics, graph theory, and related algorithms. Each topic includes clean Python code and examples to reinforce understanding through practice. It’s a go-to repo for revision, self-study, and building strong fundamentals in CS

discrete-mathematics graph-theory induction logic proofs python3