4 ms·How does LEAN compare to Coq/Isabelle/Agda?by tunesmith 8y agoHow does LEAN compare to Coq/Isabelle/Agda?