Projects in Awesome Lists tagged with proof-theory
A curated list of projects in awesome lists tagged with proof-theory .
https://github.com/steshaw/plt
Programming Language Theory λΠ
category-theory functional-programming logic programming-languages proof-theory type-theory
Last synced: 13 May 2025
https://github.com/bakseter/thesis
My master thesis (and related code) in Logic at the University of Bergen.
coq formalization proof-theory thesis
Last synced: 14 Apr 2025
https://github.com/bhgomes/rulesets
a collection of rulesets for qbar and other automated proof frameworks
logic proof-systems proof-theory qbar rulesets type-theory
Last synced: 22 Mar 2025
https://github.com/lancejpollard/cnf.js
Convert Proposition Trees to Conjunctive Normal Form (CNF) or Disjunctive Normal Form (DNF)
conjunctive-normal-form math proof-theory propositional-logic
Last synced: 23 Mar 2025
https://github.com/electrostat-lab/mathematics-i
Housing useful resusable equations and formulas in calculus, discrete mathematics, and linear algebra.
association-of-computing-machinery calculus differential-equations discrete-mathematics finite-state-machine integral-equations linear-algebra proof-theory set-theory signal-analysis signal-transduction
Last synced: 31 Mar 2025
