Comment

Comment by ontouchstart

42!

https://live.lean-lang.org/#codez=CYUwZgBAhgdgzgdxAJwgLgLwQC...

(I am fscking physics major! ;-)

parent ontouchstart 4 months ago

No comments yet

Be the first to share your thoughts.