There are 7 repositories under mathematical-logic topic.
A research project in path semantics, a re-interpretation of functions for expressing mathematics
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
UCalgary version of forallx, an introduction to formal logic
The lecture notes for my discrete mathematics classes.
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
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
A proof-of-concept LCF-style interactive theorem prover for HOL(C)
Generate Stack Math puzzles with this handy utility written in Visual Basic
A python script which takes in complex propositional statements and processes them to generate a brute as well as reduced Disjunctive normal form for the statement along with the other information like Truth Table and Dont Cares.
Implementation of Russel paradox in Idris 2
formalized googology in agda
A webapp that converts English coded input to mathematical notation. e.g. [all var in dd goe pi] → [∀𝑥 ∈ 𝔻 ≥ π ]
Домашняя контрольная работа по теории вероятностей
Projeto Regra de Progressão
calculator with full feature like devition and integral and draw function
Exploring the depths of mathematics through the study of its foundations
algebra, differential equations, calculus, statistics, probability
Inferara official website
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.
Математическая логика и теория алгоритмов / автоматов (мат. логика), 2 семестр, РТУ МИРЭА
Proof assistant for Hilbert style proof systems including predicate calculus and epsilon calculus
A simple demo project to help you practice some Android fundamentals using Kotlin
an attempt at unpacking in layman's terms what mathematics is.