Lean Theorem Prover(leanprover.github.io)2 points·by hamdal·10 ปีที่แล้ว·0 commentsleanprover.github.ioLean Theorem Proverhttps://leanprover.github.io/0 commentsPost comment—