3 ms·I wish you guys good luck. Freedom from Coq-style proof scripts should be the goal.by catnaroek 10y agoI wish you guys good luck. Freedom from Coq-style proof scripts should be the goal.