Viewing profile — leanuser83

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

That is exactly the point being made. That you can spot right away that something "doesn't make sense".

(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, wher…