GitHub topics: mathematical-logic

Repositories

kt3k/lk-proto

Prototyping proof verifier system, nothing working yet

Language: TypeScript - Size: 4.88 KB - Last synced at: about 22 hours ago - Pushed at: about 23 hours ago - Stars: 0 - Forks: 0

advancedresearch/path_semantics

A research project in path semantics, a re-interpretation of functions for expressing mathematics

Language: Rust - Size: 89.5 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 169 - Forks: 11

xamidi/pmGenerator

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

Language: C++ - Size: 46.6 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 21 - Forks: 3

praisetompane/mathematics

An attempt at unpacking mathematics and how it is created/discovered in layman's terms.

Language: Python - Size: 1.15 MB - Last synced at: 6 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 0

Inferara/inferara.com

Inferara official website

Language: HTML - Size: 760 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 2

ozekik/mathesis

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

Language: Python - Size: 1.18 MB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 21 - Forks: 3

hjbolus/Mathematical-Logic-Through-Python

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

Language: Python - Size: 517 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 3

angha-varangaonkar/Leetcode-Practise

This repository is committed to solving one LeetCode question daily and uploading the solution here.

Language: Java - Size: 18.6 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

martinberger/hol-c

A proof-of-concept LCF-style interactive theorem prover for HOL(C)

Language: Scala - Size: 146 KB - Last synced at: 10 days ago - Pushed at: about 2 months ago - Stars: 4 - Forks: 1

SReichelt/slate

The Slate Interactive Theorem Prover

Language: TypeScript - Size: 7.5 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 24 - Forks: 2

rzach/forallx-yyc Fork of OpenLogicProject/forallx-cam

UCalgary version of forallx, an introduction to formal logic

Language: TeX - Size: 1.54 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 97 - Forks: 34

FlorentCLMichel/Theorie_Ensembles_Arithmetique

Some notes on the basics of Mathematical logic, set theory, and arithmetic (in French).

Language: TeX - Size: 72 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

tonydroy/Symbolic-Logic-APPlication

SLAPP is an application for working exercises in symbolic logic.

Size: 156 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

adyavanapalli/stanford-introduction-to-mathematical-thinking

Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

Size: 8.57 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 112 - Forks: 30

emarzion/SystemT

An interpreter for Gödel's System T

Language: Haskell - Size: 2.55 MB - Last synced at: 16 days ago - Pushed at: about 8 years ago - Stars: 12 - Forks: 0

joom/hezarfen 📦

a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

Language: Idris - Size: 48.8 KB - Last synced at: 5 months ago - Pushed at: over 6 years ago - Stars: 119 - Forks: 3

choukh/agda-googology

formalized googology in agda

Language: CSS - Size: 3.75 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

rhoseininaveh/rhoseininaveh.github.io

Rouholah Hoseini Naveh

Size: 15.7 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

YXlh-64/ENSIA-2PC

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

Language: Jupyter Notebook - Size: 367 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 6 - Forks: 0

MarinosSav/Schnapsen_Card_Game_Bot

Experimenting with intelligent agents utilizing a variety of different algorithmic methods to develop an expert level bot for the card game of Schnapsen.

Language: Python - Size: 545 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

choukh/agda-veblen

veblen function in agda

Language: Agda - Size: 182 KB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 5 - Forks: 0

DevOpsThinh/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 - Size: 595 MB - Last synced at: 7 days ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 0

dimglyn/propositional-logic

Export conclusions with resolution (resolution) / conclusions with forward chaining for (definite) Horn clauses of propositional logic

Language: Java - Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1

rindeal/BI-MLO

BI-MLO Quick Reference

Language: HTML - Size: 2.18 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

HussainAther/mathematics

algebra, differential equations, calculus, statistics, probability

Language: Python - Size: 22.6 MB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

Nagisanopan/USTC_2023Spring_MathematicalLogic_HW

USTC 2023春季学期数理逻辑基础许杨班课程作业考试资料

Size: 0 Bytes - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

arturania/human-logic

Human Logic

Language: TypeScript - Size: 708 KB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 1

choukh/MetaLogic

first-order logic and set theory

Language: Agda - Size: 340 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

nabilBouzineDev/BMICalculator

A simple demo project to help you practice some Android fundamentals using Kotlin

Language: Kotlin - Size: 187 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

miyamok/epsilonproofchecker

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

Language: Haskell - Size: 407 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

Ojaswy/Numerical-Methods

Contains C-program files for Numerical Methods/Analysis

Language: C - Size: 52.7 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

SReichelt/slate-hlm

HLM mathematical library for the Slate interactive theorem prover

Language: Shell - Size: 1.85 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

AlgebraicWolf/idris2-russel

Implementation of Russel paradox in Idris 2

Language: Idris - Size: 20.5 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

Elisabete-MO/projeto-regra-progressao

Projeto Regra de Progressão

Language: Java - Size: 130 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

norbert-acedanski/calculator

Old calculator of mine

Language: C++ - Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

Akash-Sharma-1/DNF-Generator

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.

Language: Python - Size: 9.77 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1

andrefilipemm/slotmachine_game

This project provides valuable insights into the mechanics of the slot machine and showcases the power of combinatorial analysis and Python programming for simulating and studying such systems.

Language: Jupyter Notebook - Size: 23.4 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

mireashik/mathlogic_2sem

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

Size: 47.9 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

SudipSinha/writings

Most of my writings — notes, talks, travelogues, thoughts, and the rest

Language: TeX - Size: 12.4 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

moratori/clover

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

Language: Common Lisp - Size: 443 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

CallumBeaney/Symbolic-Notation-Converter

A webapp that converts English coded input to mathematical notation. e.g. [all var in dd goe pi] → [∀𝑥 ∈ 𝔻 ≥ π ]

Language: JavaScript - Size: 95.7 KB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

pankajkumarravi/programming-fundamantal

This repo contains Basic programming practice code from different platform like Hackerrank,GFG, ..........

Language: Java - Size: 851 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

anatoly-gz/itmo-math-logic

Toolkit for parsing, analyzing and proving logical expressions/statements with Java

Language: Java - Size: 183 KB - Last synced at: 5 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

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 - Size: 82 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0