One month. 300K+ proofs later…

Hyli has revealed itself as a functional proof-settling machine.

Here’s what we’ve achieved, what we’ve learned, and what’s coming. https://t.co/b9nHNkF5Pt