new | ask | show | jobs
grafmax a year ago  [ - ]

Sat solving I guess because types encode proofs?

 a year ago  [ - ]
[deleted]