Open computational evidence infrastructure for Lean #1 Post by MADEinPARIS » Mon, Jul 27, 2026, 12:05 PM UTC Open computational evidence infrastructure for Leangithub.com