4 ms·
Lean is quite nice dependently typed language https://leanprover.github.io/ https://leanprover.github.io/
by hiker 9y ago
Lean is quite nice dependently typed language https://leanprover.github.io/ https://leanprover.github.io/
loading thread…
4 ms·