chrisflav

Pinned Repositories

mathlib4
The math library of Lean 4
Language:Lean1.1k247
haskell-gargantext
Language:Haskell25
haskell-gargantext
Language:Haskell00
lean4
Lean 4 programming language and theorem prover
Language:Lean3.9k335

chrisflav's Repositories

chrisflav/haskell-gargantext
Language:Haskell