Netherlands

Sina Hazratpour

Advanced
@sinhp

Category Theory, Type Theory, Formalization, ML

sinhp.github.io/

HoTTLean. Lean

75

Poly. A Lean4 Formalization of Polynomial Functors

29

ProofLab. Lean

12

LeanFibredCategories. A Lean4 Formalization of Fibred Categories

5

lawvere. The collected works of F. W. Lawvere

2

Proofs-F23. Lean Repo for Intro to Proofs at Johns Hopkins

1

CovariantYonedaLean4. A proof of covariant Yoneda Lemma in the Lean 4 Proof Assistant

1

displayed_categories. A Lean 4 formalization of Displayed Categories

1

slug. SLUG (Stockholm Lean User Group)

1
9
Apply