Open computational evidence infrastructure for Lean

(github.com)

1 points | by MADEinPARIS 4 hours ago ago

No comments yet.