3 ms·I don't think that's the one. There's no mention of anything like a proof assistant in it.by xhevahir 4y agoI don't think that's the one. There's no mention of anything like a proof assistant in it.