-
Updated
May 26, 2024 - HTML
proofs
Here are 98 public repositories matching this topic...
KaRaMeL is a tool for extracting low-level F* programs to readable C code
-
Updated
May 24, 2024 - OCaml
A verification toolchain for Rust programs
-
Updated
May 24, 2024 - OCaml
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.
-
Updated
May 21, 2024
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
-
Updated
May 16, 2024 - Java
GAPT: General Architecture for Proof Theory
-
Updated
May 24, 2024 - Scala
Research experience
-
Updated
Apr 18, 2024
[Informatica - Basi di Dati 1] Forum di scambio e confronto di soluzioni ad esercizi (anche da prove di esame passate)
-
Updated
Mar 31, 2024
Template-based proofs of concurrent search structures.
-
Updated
Apr 23, 2024 - Coq
Immediate Massively Parallel Propositional Proof Checking
-
Updated
Mar 28, 2024 - C
Code and files from coursework, tutorials, moocs, etc.
-
Updated
Mar 26, 2024 - HTML
Implementation of a Deterministic Finite Automaton for email address recognition
-
Updated
Mar 8, 2024 - C++
Miscellaneous voting method scripts
-
Updated
Feb 13, 2024 - AMPL
Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
-
Updated
Jan 12, 2024 - TeX
This Project shows an understanding of Propositional Logic, Conjunctive Normal Form, and The Resolution Refutation Method.
-
Updated
Jan 5, 2024 - Java
Requirements: Safari Webkit 17.1 (⥣) | Analysis in MathML© Foundations in Mathematical Analysis | Watters Research and Technologies® | MIT License | BSD (C4)-License | Analogue: UCB Math 104: Introductory Analysis
-
Updated
Jan 1, 2024 - HTML
Improve this page
Add a description, image, and links to the proofs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proofs topic, visit your repo's landing page and select "manage topics."