3 ms·So is this like a simpler interface for making Coq-like specifications?by runeks 10y agoSo is this like a simpler interface for making Coq-like specifications?