42! https://live.lean-lang.org/#codez=CYUwZgBAhgdgzgdxAJwgLgLwQCwCYBQAxAMYAWIxA1tPEskQA7ICWMALjYivvkA https://live.lean-lang.org/#codez=CYUwZgBAhgdgzgdxAJwgLgL

42! https://live.lean-lang.org/#codez=CYUwZgBAhgdgzgdxAJwgLgLwQCwCYBQAxAMYAWIxA1tPEskQA7ICWMALjYivvkA https://live.lean-lang.org/#codez=CYUwZgBAhgdgzgdxAJwgLgLwQC... (I am fscking physics major! ;-)