Bennett's Conjecture in Lean 4: Counter-Models of Spinoza's Propositions

(arxiv.org)

1 points | by wslh 4 hours ago ago