← Back to post

Edit history

Original

Yes, I am aware of this one. I’m talking about models specialized at theorem proving.