What does a lean proof prove?

5 pointsposted 2 months ago
by elcomet
(supaiku.com)

1 Comments

fjfaase

2 months ago

Interesting. A bit similar to bootstrapping.