gabrimat

↗ HN profile [ 83.2 ms ] full profile

Karma: 0
Created: ()
Submissions: 0

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

20d ago · view thread · ↗