2 ms·Sorry I forgot the link! https://leanprover.github.io/ https://leanprover.github.io/by agentultra 9y agoSorry I forgot the link! https://leanprover.github.io/ https://leanprover.github.io/