Hacker News new | ask | show | jobs
user: MADEinPARIS
created: 2022-09-09
karma: 35

submissions:

Open computational evidence infrastructure for Lean
2 points | 0 comments
AIs-welcome Lean library downstream of Mathlib
2 points | 0 comments