3 ms·I had been looking for something like this to play around with interactive theorem proving! Thanks.by vivegi 3y agoI had been looking for something like this to play around with interactive theorem proving! Thanks.