RE: https://functional.cafe/@leanprover/116721129878440187

Isn't the abstract of this "book" outrageous? It's a bit embarrassing for the Lean team to be promoting this.

#TruthOracle #TheTruthIsOutThere #IWantToBelieve