Lean Theorem Prover(leanprover.github.io)2 points·by hamdal·10 anni fa·0 commentsleanprover.github.ioLean Theorem Proverhttps://leanprover.github.io/0 commentsPost comment—