top | item 45697508 (no title) mlpoknbji | 4 months ago Assuming you have some math background but no Lean background: https://adam.math.hhu.de/#/g/leanprover-community/nng4 discuss order hn newest No comments yet.
No comments yet.