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.
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.