4 ms·

I think it's a perfect opportunity to combine a rooster and a doobie into a logo.

• logicchains 9y ago
  Someone should write a formal proof of correctness in Coq.