Alvar Lagerlöf @alvar.dev · Sep 27 Hey @danabra.mov, why does this work in Lean? Asking for a friend (actually)
5 likes 1 replies
?
Alvar Lagerlöf @alvar.dev · Sep 27 Alvar Lagerlöf @alvar.dev · Sep 27 Alvar Lagerlöf @alvar.dev · Sep 27 Hey @danabra.mov, why does this work in Lean? Asking for a friend (actually)
5 likes 1 replies
