Geeks
leanprover-community
/
lean-liquid
💧 Liquid Tensor Experiment
Primary Language
Lean
lean-liquid GitHub
Markdown
Readme
76
Issues
186
Stargazers
14
Watchers
Watchers
adamtopaz
alexjbest
King's College London
alreadydone
Heidelberg / Shenzhen
bryangingechen
DavidMichaelRoberts
eemailme
hughlt
jcommelin
—
jhcloos
NunoEdgarSciEngFirst
Portugal
PatrickMassot
Paris
rwbarton
seanpm2001
Self-employed; looking for tips
skpuneethkumar
none