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, whereas the other systems are (several)…
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, whereas the other systems are (several)…