Comment by klyrs

Do you have a plan for cross-consistency checking? Like, for example, Lean was proven consistent by Coq.