Topic: "proof-theory"
steshaw/plt
Programming Language Theory λΠ
Language: CSS - Size: 217 KB - Last synced at: 4 days ago - Pushed at: 5 months ago - Stars: 5,285 - Forks: 340
err0r500/foundational-knowledge-for-programmers
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Size: 34.2 KB - Last synced at: 12 months ago - Pushed at: about 4 years ago - Stars: 163 - Forks: 11
xamidi/pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
Language: C++ - Size: 46.6 MB - Last synced at: 16 days ago - Pushed at: 17 days ago - Stars: 21 - Forks: 3
felipeperet/logic Fork of rodrigogribeiro/logic
An adventure on formalizing logics using the Agda programming language
Language: Agda - Size: 57.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 2
kcsmnt0/proof-trees
Interactive proof tree editing
Language: Elm - Size: 19.5 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 8 - Forks: 0
xamidi/mmsolitaire
My contributions to Metamath's mmsolitaire project.
Size: 687 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 5 - Forks: 0
enjoysmath/MathDOPE_
DatabaseOfProofsEngine is a web application for students & researchers of math that are studying arrow-theoretic topics.
Language: JavaScript - Size: 12.5 MB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1
lambduli/reading
My digital notepad about Programming Languages Theory, Type Systems, Logic, and Formal Reasoning.
Size: 122 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0
proof-theory/pmGenerator Fork of xamidi/pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
Language: C++ - Size: 42.6 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0
bakseter/thesis
My master thesis (and related code) in Logic at the University of Bergen.
Language: Haskell - Size: 7.48 MB - Last synced at: 15 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
lxndrcx/proofTheoryHOL
Equivalence of natural deduction and sequent calculus in HOL4
Language: Standard ML - Size: 608 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
Electrostat-Lab/Mathematics-I
Housing useful resusable equations and formulas in calculus, discrete mathematics, and linear algebra.
Language: TeX - Size: 1.18 MB - Last synced at: 28 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
nigosto/lambda-parser
Parser for lambda terms, written in Haskell, that is also able to execute a list of operations on the terms
Language: Haskell - Size: 55.7 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
haskucy/foundation_of_mathematics
Exploring the depths of mathematics through the study of its foundations
Size: 43.6 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
lancejpollard/cnf.js
Convert Proposition Trees to Conjunctive Normal Form (CNF) or Disjunctive Normal Form (DNF)
Language: JavaScript - Size: 3.91 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
bhgomes/rulesets
a collection of rulesets for qbar and other automated proof frameworks
Size: 17.6 KB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
