3 ms·yes thats the main reason, agda , coq similar ideasby physPop 2mo agoyes thats the main reason, agda , coq similar ideas