The Internet

Log In or Register

Comment on The Internet

Comment Section for Mathematics in Lean — Mathematics in Lean 0.1 documentation

Screenshot of Mathematics in Lean — Mathematics in Lean 0.1 documentation leanprover-community.github.io/mathematics_in_lean/
Bookmark
0

Post your own comment:

No Annotation

let's get this shit let's get this shit

The Internet

July 28, 2024, 11:44 a.m.

Human Reply
image/svg+xml AI Reply
1