An interpreter for Gödel's System T
-
Updated
Apr 17, 2017 - Haskell
#
mathematical-logic
Here are 6 public repositories matching this topic...
Proof assistant for Hilbert style proof systems including predicate calculus and epsilon calculus
-
Updated
Feb 28, 2024 - Haskell
Practice tasks for Mathematical logic course at ITMO University spring 2018
-
Updated
Apr 15, 2018 - Haskell
An experimental project demonstrating a self-hosting compiler built entirely with Untyped Lambda Calculus.
-
Updated
Nov 15, 2025 - Haskell
Repository contains homeworks of math logic course.
-
Updated
Aug 21, 2019 - Haskell
Solutions for mathematical logic problems
-
Updated
Mar 13, 2025 - Haskell
Improve this page
Add a description, image, and links to the mathematical-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mathematical-logic topic, visit your repo's landing page and select "manage topics."