Pinned Repositories
gitit
A wiki using HAppS, pandoc, and git
LeanOA
Operator algebras in Lean
LFTCM2024
Repository for the conference LFTCM2024
Math-350
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
mathlib-port-status
Tools for managing the status of the port
mathlib4
Work in progress mathlib port for lean 4
siue-poster
A collection of LaTeX packages for SIUE undergraduate mathematics majors to simplify creation of posters for senior capstone projects.
std4
Standard Library for Lean 4
uc-dissertation-latex-class
A LaTeX class for theses and dissertations submitted to the University of Cincinnati
j-loreaux's Repositories
j-loreaux/uc-dissertation-latex-class
A LaTeX class for theses and dissertations submitted to the University of Cincinnati
j-loreaux/gitit
A wiki using HAppS, pandoc, and git
j-loreaux/LeanOA
Operator algebras in Lean
j-loreaux/LFTCM2024
Repository for the conference LFTCM2024
j-loreaux/Math-350
j-loreaux/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
j-loreaux/mathlib-port-status
Tools for managing the status of the port
j-loreaux/mathlib4
Work in progress mathlib port for lean 4
j-loreaux/siue-poster
A collection of LaTeX packages for SIUE undergraduate mathematics majors to simplify creation of posters for senior capstone projects.
j-loreaux/std4
Standard Library for Lean 4
j-loreaux/Unitization_Test
j-loreaux/vscode-lean
An extension for VS Code which provides support for the Lean language.