4 ms·Thanks for mentioning, will look at that as well. But I think I'd like to try Coq anyway :)by tomsmeding 9y agoThanks for mentioning, will look at that as well. But I think I'd like to try Coq anyway :)