mathematical-logic
There are 9 repositories under mathematical-logic topic.
advancedresearch / path_semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
Language:Rust 175joom / hezarfen
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
Language:Idris 121adyavanapalli / stanford-introduction-to-mathematical-thinking
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
rzach / forallx-yyc
UCalgary version of forallx, an introduction to formal logic
Language:TeX 112DigitalFormalLogic / mathesis
Python library for computational formal logic, formal semantics, and theorem proving
Language:Python 27- Language:TypeScript 23
xamidi / pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
Language:C++ 23- I2DM
alexanderknop / I2DM
The lecture notes for my discrete mathematics classes.
Language:TeX 18 a2435191 / lean-logic-formalization
Formalize "Logic Notes" by Lou van den Dries in Lean
Language:Lean 12- Language:Haskell 12
hjbolus / Mathematical-Logic-Through-Python
Python scripts that provide 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
Language:Python 11YXlh-64 / ENSIA-2PC
This repository is designed to provide all the necessary resources for the second year preparatory cycle at ENSIA.
Language:Jupyter Notebook 9DevOpsThinh / Coding-Deep-Learning
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!
Language:Python 7- human-logic
arturania / human-logic
Human Logic
Language:TypeScript 6 dshea89 / HRLPlus
Automated mathematical theorem formulation deduced from a provided set of axioms. Builds upon the HRL theorem generator.
Language:Java 6choukh / agda-veblen
veblen function in agda
Language:Agda 5martinberger / hol-c
A proof-of-concept LCF-style interactive theorem prover for HOL(C)
Language:Scala 4- Language:Shell 4
ComprosoftCEO / StackMathGenerator
Generate Stack Math puzzles with this handy utility written in Visual Basic
Language:Visual Basic 3moratori / clover
A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.
Language:Common Lisp 3AlgebraicWolf / idris2-russel
Implementation of Russel paradox in Idris 2
Language:Idris 2formalized googology in agda
Language:CSS 2- Language:Agda 2
Inferara / inferara.com
Inferara official website
Language:HTML 2mireashik / mathlogic_2sem
Математическая логика и теория алгоритмов / автоматов (мат. логика), 2 семестр, РТУ МИРЭА
ZhangZfy / USTC_2023Spring_MathematicalLogic_HW
USTC 2023春季学期 数理逻辑基础 许杨班 课程作业 考试资料
AICardiologist / FoundationRelativity
Foundation-Relativity: Lean 4 formalization of constructive vs classical mathematics. Complete ρ-hierarchy proofs showing how pathologies require specific logical principles (WLPO, DC_ω, DC_{ω+1}).
Language:Lean 1badbugsarts-hue / UIDT-Framework-16.1
Welcome to the central hub for the Unified Information-Density Theory (UIDT) A Transformative framework that redefines the bedrock of physics by positioning information as the core entity from which space, time, matter, and energy arise
Language:Python 1- Language:Python 1
Cubix1729 / logicalpy
A Python library providing basic functionalities for manipulating propositional logic
Language:Python 1Elisabete-MO / projeto-regra-progressao
Projeto Regra de Progressão
Language:Java 1GSkuza / Generalized-Theory-of-Mathematical-Indefiniteness
The Generalized Theory of Mathematical Undefiniteness (GTMØ) is an innovative mathematical and philosophical framework that extends classical concepts of existence, non-existence, and infinity. GTMØ introduces indefiniteness (Ø) as a fourth, irreducible category of reality—beyond what is classically definable in logic and mathematics.
Language:Python 1haskucy / foundation_of_mathematics
Exploring the depths of mathematics through the study of its foundations
jeremarques / calculator-of-second-degree-equation
This is a great tool for students, this calculator shows the value of the roots of the 2nd degree equation from the Bhaskara Formula, and it also calculates the value of Delta and tells if the roots are real, irrational or equal from the value of the Delta of the equation.
Language:JavaScript 1miyamok / epsilonproofchecker
Proof assistant for Hilbert style proof systems including predicate calculus and epsilon calculus
Language:Haskell 1nabilBouzineDev / BMICalculator
A simple demo project to help you practice some Android fundamentals using Kotlin
Language:Kotlin 1
