A framework for Systems Verification of categories, Theories and Meta Theories in Lean, Rocq, C# and F#. - View it on GitHub