3 ms·
There are way more libraries and plugins for Coq though. Using Lean would require writing them by yourself.
by xvilka 7y ago
There are way more libraries and plugins for Coq though. Using Lean would require writing them by yourself.
loading thread…