2 ms·
Related response [0] and [1]. It is a bit of a matter of taste: I prefer classic stuff as I have used that for decades. HOL is ‘easy’, but I haven’t spent as mu
by anonzzzies 2y ago
Related response [0] and [1]. It is a bit of a matter of taste: I prefer classic stuff as I have used that for decades. HOL is ‘easy’, but I haven’t spent as much time with Lean.
[0] https://news.ycombinator.com/item?id=14744167 https://news.ycombinator.com/item?id=14744167
[1] https://news.ycombinator.com/item?id=25061513 https://news.ycombinator.com/item?id=25061513