3 ms·

Have they? I thought automated theorem proving was still super niche.

• threatofrain 6y ago
  But not the results and the consensus on them.