#

proof-theory

Here are 5 public repositories matching this topic...

steshaw / plt

Star

λΠ Programming Language Theory

functional-programming logic type-theory category-theory programming-languages proof-theory

Updated Jul 9, 2020
CSS

err0r500 / foundational-knowledge-for-programmers

Star

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 Apr 7, 2020

sequents / code

Star

Updated Aug 27, 2020
Idris

kcsmnt0 / proof-trees

Star

Interactive proof tree editing

proof-trees proof-theory

Updated Dec 6, 2018
Elm

lxndrcx / proofTheoryHOL

Star

Equivalence of natural deduction and sequent calculus in HOL4

logic theorem-proving natural-deduction hol sequent-calculus proof-theory

Updated Oct 2, 2019
Standard ML

Improve this page

Add a description, image, and links to the proof-theory topic page so that developers can more easily learn about it.

Curate this topic

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."

You can’t perform that action at this time.