https://github.com/gabrieldim/probability-and-statistics

Random vectors: marginal and conditional distributions. Normal, t-distribution, Chi-square and F-distribution... AND A LOT MORE.

combinatorics distribution estimation event parameters probability-statistics probablity random statistics theorem theorems variable variables

Last synced: 23 Jul 2025

https://github.com/orangex4/typst-theorion

Out-of-the-box, customizable and multilingual theorem environment package for Typst.

colorful-box package theorem theorems typst typst-package

Last synced: 23 Feb 2026

https://github.com/tiger-ai-lab/theoremqa

The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)

lm math theorem

Last synced: 06 Sep 2025

https://github.com/OrangeX4/typst-theorion

Out-of-the-box, customizable and multilingual theorem environment package for Typst.

colorful-box package theorem theorems typst typst-package

Last synced: 05 Mar 2025

https://github.com/chakravala/Math-Research-Notes

Theorems, Definitions, Papers, Research

latex latex-document lecture-notes math mathematics proof proofs theorem theorems

Last synced: 22 Jul 2025

https://github.com/chakravala/math-research-notes

Theorems, Definitions, Papers, Research

latex latex-document lecture-notes math mathematics proof proofs theorem theorems

Last synced: 25 Oct 2025

https://github.com/francoisschwarzentruber/prooffold

Another attempt for visualizing proofs

education educational-project mathematics mathematics-education mathematics-notes pedagogy processingjs proof theorem

Last synced: 15 Apr 2025

https://github.com/ice1k/Theorems

:globe_with_meridians: Theorems that rule this multiverse

agda formal-verification theorem theorem-proving

Last synced: 09 Jul 2025

https://github.com/jonaprieto/online-atps

Run ATPs from SystemOnTPTP

atp eprover metis theorem tptp vampire

Last synced: 18 Mar 2025

https://github.com/phantom8015/infinite-monkey-theorem

Proving the infinite monkey theorem.

emile-borel funny math monkey monkeytheorem random theorem

Last synced: 27 Oct 2025

https://github.com/leondejong/js-sat

Separating Axis Theorem

2d axis html javascript js sat separating separating-axis-theorem theorem

Last synced: 08 Feb 2026

https://github.com/enjeck/theorem-graphs

Visualizing mathematical theorem relationships using graphs

graph graph-visualization theorem theorems visualization

Last synced: 09 Mar 2026

https://github.com/georgejkaye/theorem-prover

A simple theorem prover made for a university programming assignment

clause-normal-form dimacs dpll propositional-logic propositional-resolution reasoning resolution-calculus theorem theorem-prover theorem-proving

Last synced: 12 Apr 2025

https://github.com/denis-sokolov/eslint-plugin

eslint javascript linting react theorem typescript

Last synced: 21 Aug 2025

https://github.com/kaist-cp/view-hw

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

armv8 coq-formalization persistency pldi proof semantics theorem x86

Last synced: 14 Oct 2025

https://github.com/spamegg1/spamegg1-thm-prov-lean4

Working through Theorem Proving in Lean4

dependent-types formal-verification interactive-proofs lean lean4 math proof theorem

Last synced: 29 Oct 2025

https://github.com/casm-lang/libtptp

Thousands of Problems for Theorem Provers Library

automated cpp-library cpp11 libtptp proving theorem

Last synced: 20 Sep 2025

https://github.com/kovzol/regularngons

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

diagonals distance giac intersection pentagon polygon theorem

Last synced: 28 Feb 2026

https://github.com/leondejong/js-collision-detection

Collision Detection

2d axis broad collision detection intersection javascript js narrow phase sat separating theorem

Last synced: 15 May 2026

https://github.com/jcreinhold/lean-dup

Duplicate detector for Lean

dupl lean4 mathlib theorem

Last synced: 27 Jun 2026

https://github.com/sandokansaruhan/master-theory-math

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

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

Last synced: 05 Jul 2025