Bennett's Conjecture in Lean 4: Counter-Models of Spinoza's Propositionsarxiv.org1 point·wslh··0 commentsOpen articleSaveView on HN