Open computational evidence infrastructure for Lean

(github.com)

1 points | by MADEinPARIS 5 hours ago

No comments yet.