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)

Python library for computational formal logic, formal semantics, and theorem proving

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

The Slate Interactive Theorem Prover

The lecture notes for my discrete mathematics classes.

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

An interpreter for Gödel's System T

Formalize "Logic Notes" by Lou van den Dries in Lean

This repository is designed to provide all the necessary resources for the second year preparatory cycle at ENSIA.

CSC303: Discrete Mathematics [DM] | SE Semester III | Computer Engineering

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

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)

veblen function in agda

HLM mathematical library for the Slate interactive theorem prover

Generate Stack Math puzzles with this handy utility written in Visual Basic

A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.

Inferara official website

Математическая логика и теория алгоритмов / автоматов (мат. логика), 2 семестр, РТУ МИРЭА

Fun and interactive Number Guessing Game built with JavaScript, HTML, and CSS.

[SUPERSEDED - See V3.2] 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

algebra, differential equations, calculus, statistics, probability

first-order logic and set theory

Implementation of Russel paradox in Idris 2

formalized googology in agda

Proof assistant for Hilbert style proof systems including predicate calculus and epsilon calculus

[社内勉強会] プログラマ脳を鍛える数学パズルの解答