All Categories → No Category → theorems

Top 2 theorems open source projects

MO-Problem-Journal

A journal of theorems, lemmas and problems for Mathematical Olympiads.

✭ 45

TeX HTML Asymptote journal math olympiad theorems lemmas mathematical-olympiads

coq-100-theorems

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

✭ 41

HTML Coq javascript coq theorems

1-2 of 2 theorems projects