Just yesterday I started learning the Lean proof assistant. It seems that Metamath can verify proofs using a much simpler approach. What are the key differences?
- Show Nim: Forematics is a Metamath verifier written in Nim. treeform
- Show Nim: Forematics is a Metamath verifier written in Nim. foldl
- Show Nim: Forematics is a Metamath verifier written in N... xigoi
