Volpeon
@volpeon
@icy.wyvern.rip
I'm now taking a look at Lean
@volpeon@icy.wyvern.rip