leanuser83

3 ms·

1. 1.▲
   by leanuser83 6y ago

   you might like elinks as alternative to lynx, but with link hints. and those shell aliases sound very similar to surfraw: https://en.wikipedia.org/wiki/Surfraw
2. 2.▲
   by leanuser83 6y ago

   That is exactly the point being made. That you can spot right away that something "doesn't make sense".
3. 3.▲
   by leanuser83 6y ago

   (Disclaimer: I'm addicted to Lean. My view is biased.) Note that Lean is not so high on that list, but also note that serious theorem proving in Lean is less than 5 years old, whereas the other systems are (several) decades old. There