3 ms·It is not automated theorem proving, but computer verified provingby pirriperdos 13y agoIt is not automated theorem proving, but computer verified proving