Hacker News new | ask | show | jobs
by ontouchstart 46 days ago
42!

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

(I am fscking physics major! ;-)