What does a lean proof prove? #1 Post by elcomet » Tue, Dec 16, 2025, 9:44 AM UTC What does a lean proof prove?supaiku.com
Re: What does a lean proof prove? #2 Post by fjfaase » Tue, Dec 16, 2025, 12:55 PM UTC Interesting. A bit similar to bootstrapping.