Repositories
Jlh18/Poly
A Lean4 Formalization of Polynomial Functors
Jlh18/mathlib4
Mathlib forks
Jlh18/jlh18.github.io
Jlh18/ModelTheoryInLean8
Proof of Ax-Grothendieck (using work from Flypitch project)
Jlh18/80211-LMI-Assignments
Jlh18/groupoid_model_in_lean4
Jlh18/LogicalFrameworkLCCC
Jlh18/ModelTheory8Report
Jlh18/W_types
I make W-types examples and compute their polynomials
Jlh18/mathlib
Lean mathematical components library
Jlh18/flypitch
A formal proof of the independence of the continuum hypothesis
Jlh18/agdaMisc
Miscellaneous agda work, including work on Category Theory in Context
Jlh18/cubical
An experimental library for Cubical Agda
Jlh18/choice_zorn
Proof of zorn's lemma