alt
Hacker News
azaras
•
yesterday at 9:08 PM
•
0 replies
•
view on HN
I am learning math logic and two languages to use it: TLA+ and Lean.
alt Hacker News