2 ms·
As far as C++ code goes, the Lean Prover is really well maintained: https://github.com/leanprover/lean https://github.com/leanprover/lean I'd also say GHC is q
by agentultra 8y ago
As far as C++ code goes, the Lean Prover is really well maintained: https://github.com/leanprover/lean https://github.com/leanprover/lean
I'd also say GHC is quite good.
And Pandoc as well.
I don't think I can compute enough variables to consider the "highest" though... so the aforementioned are only examples of what I think are good.