3 ms·

Sat solving I guess because types encode proofs?

• deleted 1y ago
  [deleted]