ParentFull threadontouchstart·42!https://live.lean-lang.org/#codez=CYUwZgBAhgdgzgdxAJwgLgLwQC...(I am fscking physics major! ;-)View on HN