K kirancodes.me How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean 81 points gopiandcode 1 year ago 17 comments
