Programming Language Theory λΠ
-
Updated
Mar 13, 2022 - CSS
#
proof-theory
Here are 10 public repositories matching this topic...
List of resources about foundational knowledge for programmers (supposed to last a few decades)
computer-science
awesome
cryptography
networking
algorithms
linear-algebra
type-theory
category-theory
programming-languages
programming-paradigms
awesome-list
computer-architecture
software-architecture
algorithms-and-data-structures
proof-theory
-
Updated
Feb 6, 2021
An adventure on formalizing logics using the Agda programming language
-
Updated
Oct 19, 2021 - Agda
DatabaseOfProofsEngine is a web application for students & researchers of math that are studying arrow-theoretic topics.
javascript
python
math
neo4j
proof
neo4j-database
mathematics
mobile-app
python3
web-application
category-theory
graph-database
network-visualization
quiver
topos-theory
homological-algebra
bootstrap-studio
proof-theory
bootstrap5
commutative-diagram
-
Updated
Jan 13, 2022 - JavaScript
Equivalence of natural deduction and sequent calculus in HOL4
-
Updated
Oct 2, 2019 - Standard ML
The Open Deduction Proof Editor allows proof theorists (or anyone) to deconstruction proofs step by step. It currently supports deep inference formalisms, namely Open Deduction and naturally the Calculus of Structures. The front end of the application is written in Java, while the back end is written in Maude. There is also an implementation of proof search both with and without proof variables.
-
Updated
Nov 12, 2020 - Java
a collection of rulesets for qbar and other automated proof frameworks
-
Updated
Jun 30, 2021
Convert Proposition Trees to Conjunctive Normal Form (CNF) or Disjunctive Normal Form (DNF)
-
Updated
Jan 25, 2022 - JavaScript
Improve this page
Add a description, image, and links to the proof-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proof-theory topic, visit your repo's landing page and select "manage topics."