Jireh Loreaux's repositories
LFTCM2024
Repository for the conference LFTCM2024
Language:LeanApache-2.0000
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
000
Language:Lean000
std4
Standard Library for Lean 4
Apache-2.0000
mathlib-port-status
Tools for managing the status of the port
Apache-2.0000
mathlib4
Work in progress mathlib port for lean 4
Apache-2.0000
vscode-lean
An extension for VS Code which provides support for the Lean language.
Apache-2.0000
gitit
A wiki using HAppS, pandoc, and git
GPL-2.0000
siue-poster
A collection of LaTeX packages for SIUE undergraduate mathematics majors to simplify creation of posters for senior capstone projects.
Language:TeXGPL-3.0000
uc-dissertation-latex-class
A LaTeX class for theses and dissertations submitted to the University of Cincinnati