Popular repositories Loading

1. mc2020-Lean mc2020-Lean Public

   Forked from jalex-stark/lean-at-MC2020

   Lean 3 2

2. lean-playground lean-playground Public

   Lean 1

3. topologygame topologygame Public template

   Forked from mmasdeu/topologygame

   Learn Lean and topology

   Lean 1

4. Introduction-to-Optimization Introduction-to-Optimization Public

   R 1 1

5. HugoTheme HugoTheme Public

   A Hugo theme I designed for my blog at https://apurvnakade.github.io/blog/

   JavaScript

6. latex-stylesheets latex-stylesheets Public

   TeX