Projects in Awesome Lists tagged with theorems

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/rocq-community/coq-100-theorems

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

coq theorems

Last synced: 11 Apr 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/marc-thieme/frame-it

Beautiful, flexible, and integrated. Display custom frames for theorems, environments, and more. Attractive visuals with syntax that blends seamlessly into the source.

layout style theorems typst

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/mikeroyal/calculus-guide

Calculus Guide

calculus calculus-2 calculus-of-variations integrals math mathematics theorems

Last synced: 08 Jan 2026

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/enjeck/theorem-graphs

Visualizing mathematical theorem relationships using graphs

graph graph-visualization theorem theorems visualization

Last synced: 09 Mar 2026

https://github.com/gsri30/mathsanimations

This repository consists of all the useful animations related to theorems and other stuff in maths (of 1st year). We are using a software called "manim" for this purpose.

3blue1brown analytic-functions animation cauchy-sequence latex manim maths python-library simulation tex theorems

Last synced: 13 May 2026

https://github.com/eagleoutice/lithie-boxes

Dies ist die eigenständige, (immens) verbesserte und polierte Variante des Box-Mechanismus des Lilly-Frameworks.

latex latex-package tcolorbox theorems

Last synced: 26 Mar 2025

https://github.com/llee454/pigeons

A proof of the Pigeonhole principle. The Pigeonhole principle is a fundamental theorem that is used widely in Computer Science and Combinatorics, it asserts that if you put n things into m containers, and n > m, then at least one of the containers contains more than one thing.

coq coq-formalization mathematics pigeonhole proof theorem-proving theorems