issues
search
leanprover-community
/
lean-liquid
💧 Liquid Tensor Experiment
176
stars
15
forks
source link
some minor modifications
#129
Closed
adamtopaz
closed
2 years ago
adamtopaz
commented
2 years ago
to stay consistent with the blogpost
to stay consistent with the blogpost