Bennett's Conjecture in Lean 4: Counter-Models of Spinoza's Propositions (arxiv.org) 1 points by wslh 3d ago ↗ HN
0 comments
[ 0.33 ms ] story [ 7.8 ms ] threadNo comments yet.