top | item 37347225 (no title) discarded1023 | 2 years 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... discuss order hn newest hackandthink|2 years ago 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)
hackandthink|2 years ago 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)
hackandthink|2 years ago
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)