Programming Language Theory λΠ
-
Updated
Jul 28, 2023 - CSS
Programming Language Theory λΠ
List of resources about foundational knowledge for programmers (supposed to last a few decades)
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
An adventure on formalizing logics using the Agda programming language
My master thesis (and related code) in Logic at the University of Bergen.
DatabaseOfProofsEngine is a web application for students & researchers of math that are studying arrow-theoretic topics.
Tree Proof Generator
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
A reasoning system for large knowledge bases.
Parser for lambda terms, written in Haskell, that is also able to execute a list of operations on the terms
My digital notepad about Programming Languages Theory, Type Systems, Logic, and Formal Reasoning.
Equivalence of natural deduction and sequent calculus in HOL4
Exploring the depths of mathematics through the study of its foundations
an attempt at unpacking in layman's terms what mathematics is.
Housing useful resusable equations and formulas in calculus, discrete mathematics, and linear algebra.
a collection of rulesets for qbar and other automated proof frameworks
Convert Proposition Trees to Conjunctive Normal Form (CNF) or Disjunctive Normal Form (DNF)
Add a description, image, and links to the proof-theory topic page so that developers can more easily learn about it.
To associate your repository with the proof-theory topic, visit your repo's landing page and select "manage topics."