Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
[Informatica - Basi di Dati 1] Forum di scambio e confronto di soluzioni a esercizi e prove d'esame passate
A tool for verifying transitions in cryptographic game-hopping proofs
Fully proved small C functions (examples for verification course).
F-omega with interval kinds mechanized in Agda
My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.
Learn cryptography with formal proofs
Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.
My master thesis on Whitebox cryptography & AES Whitebox schemes.
A beginner-friendly, open-source introduction to mathematical proofs, with guided examples from competition mathematics. Designed for students transitioning into formal proofs without requiring real analysis.
Translate natural deduction proofs into natural language.
mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper
Digital signing tool for legal contracts
To associate your repository with the proofs topic, visit your repo's landing page and select "manage topics."