Comment by TrackerFF

4 hours ago

And added 6 new ones. Might want to add that to the headline.

1 comment

TrackerFF

Reply

gabrimat 4 hours ago

Looks like those are new formalizations of existing proofs, not new ones