A site devoted mostly to everything related to Information Technology under the sun - among other things.
A Theorem-Proving Language
https://lean-lang.org/
No comments:
Post a Comment