Automated theorem proving
​Lean is great.

Links

Last modified 2mo ago
Copy link
Contents
Links