3 ms·
Actually, you should distinguish Coq from Isabelle in that respect. In Isabelle it is MUCH more feasible to separate specification and automation.
by auggierose 9y ago
Actually, you should distinguish Coq from Isabelle in that respect. In Isabelle it is MUCH more feasible to separate specification and automation.