Kind2's Formal Verification!
----------------------------

Here, we verify the soundness and consistency of Kind2's Core.