(QuARC #:version "0.18.2")
@quarc
@wanderingwires.net
1y
proof by exhaustion (I was too eepy to finish it)
