3 ms·
That's surprising to learn. I'm surprised those even use actual lean code instead of like raw type theory.
by MJGrzymek 1y ago
That's surprising to learn.
I'm surprised those even use actual lean code instead of like raw type theory.
loading thread…