theorem

Let's write an automated theorem prover! A series of increasingly sophisticated automated theorem provers realized as Prolog-like language implementations using Warren's Abstract Machine.

rust logic mathematics automated theorem proving

Updated Sep 1, 2020
Rust

Theorem / eslint-plugin

Star

Theorem eslint tools

react javascript typescript eslint linting theorem

Updated Jul 8, 2021
TypeScript

kaist-cp / view-hw

Star

Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)

semantics proof x86 coq-formalization armv8 theorem pldi persistency

Updated Apr 14, 2021
Coq

quantumomics / Beauty

Star

Beauty

beauty equation proof theorem kumar

Updated Jul 17, 2018

slopezpereyra / PrimalityTest-FermatsLittleTheorem

Star

A program that probabilistically tests wether a p number is prime or not, with a simple algorithm based on Fermat's little theorem.

prime prime-numbers theorem fermat primality-testing

Updated Mar 30, 2018
Python

mlyean / agda-extras

Star

Extra stuff (mostly math) for Agda.

library math theorem-proving agda theorem

Updated Jul 5, 2020
Agda

mr-ravin / theorem10

Star

This repository includes a computer program for a mathematical theorem paper titled "A theorem on numbers of the form 10^x"

mathematics python3 number-theory theorem theorem10

Updated Mar 31, 2021
Python

sbacco / daddyness

Star

Disproving a useless conjecture

math proof number-theory theorem

Updated Apr 29, 2021
TeX

kovzol / RegularNGons

Star

Find new theorems in elementary geometry by observing distances between intersections of diagonals of a regular polygon

distance polygon intersection pentagon theorem diagonals giac

Updated Sep 5, 2018
HTML

casm-lang / libtptp

Star

Thousands of Problems for Theorem Provers Library

cpp11 automated cpp-library theorem libtptp proving

Updated Jun 6, 2021
C++

sanga2000 / tipasa

Star

sangamesh

cap theorem

Updated Jun 6, 2017
Java

SandokanSaruhan / Master-Theory-Math

Star

This is a simple App about Complexity Theory in computer science by enlightening of @nayuki.

javascript calculator math mathematics complexity theorem calculator-application complexity-theory

Updated Oct 30, 2019
JavaScript

kapooa13 / ocaml_theorem_prover

Star

Automatic theorem prover written in OCaml.

parser ocaml theorem

Updated May 9, 2021
OCaml

Asher73 / 5_Teorema_Pitagoras

Star

App que realiza el teorema de pitagoras

android kotlin application app triangle kotlin-android figure theorem pitagoras

Updated Jul 19, 2019
Kotlin

danielkvist / monkey-writers

Star

Monkey Writers is a simple webapp inspired by The Infinite Monkey theorem.

react generator webapp infinite monkey theorem

Updated Oct 4, 2020
JavaScript

eigenbooks / bayes-missing-manual

Star

A manual for using Bayes theorem to think with probabilities in everyday life.

statistics example probability bayes practical theorem odds

Updated May 12, 2021
Jupyter Notebook

trecky / bezout-s_theorem-c

Star

Bezout's Identity Algorithm

c math structures mathematics theorem mathematical-programming

Updated Mar 31, 2018
C

sharath041995 / Basic-Programs

Star

theorem reverseddigits

Updated Jul 31, 2018

federicomor / rand-thm

Star

Random picker of a theorem from a set of theorems

university theorem-proving exams theorem theorems theorem-generator

Updated Mar 5, 2021
Julia

vcwild / infsim

Star

Simulation of normal distribution random variables and quick overview investigation of the exponential distribution and comparison with the Central Limit Theorem.

statistical-analysis literate-programming rstats data-analysis inferential-statistics statistical-models theorem