Popular repositories Loading

1. uc-dissertation-latex-class uc-dissertation-latex-class Public

   A LaTeX class for theses and dissertations submitted to the University of Cincinnati

   TeX 5 2

2. LeanOA LeanOA Public

   Operator algebras in Lean

   Lean 1

3. siue-poster siue-poster Public

   A collection of LaTeX packages for SIUE undergraduate mathematics majors to simplify creation of posters for senior capstone projects.

   TeX 1

4. gitit gitit Public

   Forked from jgm/gitit

   A wiki using HAppS, pandoc, and git

   Haskell

5. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   Work in progress mathlib port for lean 4

   Lean

6. vscode-lean vscode-lean Public

   Forked from leanprover/vscode-lean

   An extension for VS Code which provides support for the Lean language.

   TypeScript