proofs
Here are 98 public repositories matching this topic...
Homeworks for math logic course in ITMO University
-
Updated
May 3, 2018 - Java
Messing around with propositional logic in Agda
-
Updated
Nov 11, 2016 - Agda
Machine-checked proofs of secrecy and authentication using CCSA framework
-
Updated
Mar 30, 2020 - Coq
On graph theory, proof of a theorem and topological sort implementations.
-
Updated
Nov 26, 2021 - Jupyter Notebook
Implementation of a Deterministic Finite Automaton for email address recognition
-
Updated
Mar 8, 2024 - C++
Unofficial syntax highlighting for the Arend Language for the Kakoune editor
-
Updated
Jan 12, 2021
Research experience
-
Updated
Apr 18, 2024
A proof of confluence for combinatory logic
-
Updated
Jan 16, 2017 - Coq
Proving formulas in predicate logic with Lean.
-
Updated
Oct 18, 2022 - Lean
MATH370 Taught by Andrew Havens at UMass Amherst Spring 2022
-
Updated
Dec 1, 2022 - TeX
Homework from Mathematical Logic 2019 course in ITMO University.
-
Updated
Apr 14, 2019 - Haskell
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."