Popular repositories Loading

1. lean-tutor lean-tutor Public

   Interactive Lean 4 proof tutor — based on Mathematics in Lean. Electron app with live lean verification.

   TypeScript

2. math-importance-model math-importance-model Public

   Toy agent-based model of how mathematicians assign importance to theorems

   Python

3. mathlib-graph mathlib-graph Public

   A statistical atlas of the Lean 4 Mathlib proof dependency graph — 738K declarations, 387K edges, named theorem analysis

   Jupyter Notebook

4. readqueue readqueue Public

   HTML

5. LatexIt LatexIt Public

   Forked from andrewboldi/LatexIt

   An extension for Thunderbird that allows you to generate LaTeX in your emails and send it as inline images

   JavaScript