A research project in path semantics, a re-interpretation of functions for expressing mathematics
-
Updated
Aug 15, 2024 - Rust
A research project in path semantics, a re-interpretation of functions for expressing mathematics
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
UCalgary version of forallx, an introduction to formal logic
The Slate Interactive Theorem Prover
The lecture notes for my discrete mathematics classes.
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
An interpreter for Gödel's System T
Python library for computational formal logic, formal semantics, and theorem proving
A self-taught project about Machine Learning & Deep Learning with Python. Thanks to the countless researchers and developers around the world and their open-source code, particularly Python-based open-source code!
Human Logic
Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski
veblen function in agda
Automated mathematical theorem formulation deduced from a provided set of axioms. Builds upon the HRL theorem generator.
A proof-of-concept LCF-style interactive theorem prover for HOL(C)
HLM mathematical library for the Slate interactive theorem prover
Generate Stack Math puzzles with this handy utility written in Visual Basic
Implementation of Russel paradox in Idris 2
first-order logic and set theory
algebra, differential equations, calculus, statistics, probability
Add a description, image, and links to the mathematical-logic topic page so that developers can more easily learn about it.
To associate your repository with the mathematical-logic topic, visit your repo's landing page and select "manage topics."