Hacker News new | ask | show | jobs
by discarded1023 1019 days ago
The author, Larry Paulson, may or may not like ZF but he has a ton of experience in doing formal proofs in it.

https://isabelle.in.tum.de/website-Isabelle2020/dist/library...

1 comments

Thanks, did not know.

Maybe this is the reason for his dislike. Would like to hear more about Larry Paulson's experience.

(maybe it was no fun at all)