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

1 points | by wslh 36 minutes ago

No comments yet