proof-theory

There are 19 repositories under proof-theory topic.

  • steshaw/plt

    Programming Language Theory λΠ

    Language:CSS5.2k27623340

  • err0r500/foundational-knowledge-for-programmers

    List of resources about foundational knowledge for programmers (supposed to last a few decades)

    16411211

  • sequents/code

    Proof theory seminar

    Language:Idris31702

  • xamidi/pmGenerator

    An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

    Language:C++13203

  • felipeperet/logic

    An adventure on formalizing logics using the Agda programming language

    Language:Agda9202

  • kcsmnt0/proof-trees

    Interactive proof tree editing

    Language:Elm8200

  • joe-lynch/ODPE

    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.

    Language:Java2100

  • bakseter/thesis

    My master thesis (and related code) in Logic at the University of Bergen.

    Language:Haskell1300

  • haskucy/foundation_of_mathematics

    Exploring the depths of mathematics through the study of its foundations

    1100

  • lxndrcx/proofTheoryHOL

    Equivalence of natural deduction and sequent calculus in HOL4

    Language:Standard ML1220

  • praisetompane/mathematics

    an attempt at unpacking in layman's terms what mathematics is.

    Language:Jupyter Notebook1100

  • proof-theory/pmGenerator

    An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

    Language:C++1000

  • nigosto/lambda-parser

    Parser for lambda terms, written in Haskell, that is also able to execute a list of operations on the terms

    Language:Haskell0100

  • proof-theory/gkc

    A reasoning system for large knowledge bases.

    Language:C0000

  • proof-theory/Prover9

    Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

    Language:C0000

  • proof-theory/tpg

    Tree Proof Generator

    Language:JavaScript0000

  • bhgomes/rulesets

    a collection of rulesets for qbar and other automated proof frameworks

    10

  • Electrostat-Lab/Mathematics-I

    Housing useful resusable equations and formulas in calculus, discrete mathematics, and linear algebra.

    Language:HTML10

  • lancejpollard/cnf.js

    Convert Proposition Trees to Conjunctive Normal Form (CNF) or Disjunctive Normal Form (DNF)

    Language:JavaScript30