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

(arxiv.org) by wslh | Sep 24, 2026 | 0 comments on HN