issues
search
leanprover-community
/
lean-liquid
💧 Liquid Tensor Experiment
176
stars
15
forks
source link
feat Submodules of free modules over PIDs are free.
#84
Closed
faabian
closed
2 years ago