Hacker News new | ask | show | jobs
Open computational evidence infrastructure for Lean (github.com)
2 points by MADEinPARIS 4 days ago