https://github.com/morphic-symplexis/morphic-symplexis

A framework for Systems Verification of categories, Theories and Meta Theories in Lean, Rocq, C# and F#.

applied-category-theory category-theory coq cosmos csharp dotnet dotnet-core formal-verification fsharp groupoids hylomorphisms lean4 metatheory monoidal-categories monoids rocq theorem-proving topos topos-theory type-theory

Last synced: 20 Apr 2026