← Back to context

Comment by TrackerFF

3 hours ago

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

1 comment

TrackerFF

Reply

gabrimat 2 hours ago

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