Hackernews
new
show
ask
jobs
Open computational evidence infrastructure for Lean
1 points
posted 4 hours ago
by MADEinPARIS
(github.com)
No comments yet