What does a lean proof prove?

2 pointsposted 13 hours ago
by elcomet
(supaiku.com)

1 Comments

fjfaase

10 hours ago

Interesting. A bit similar to bootstrapping.