Open computational evidence infrastructure for Lean

(github.com) by MADEinPARIS | Jul 27, 2026 | 0 comments on HN