#

groupoids

Here is 1 public repository matching this topic...

Morphic-Symplexis / morphic-symplexis

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

Updated Oct 17, 2025
C#

Improve this page

Add a description, image, and links to the groupoids topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the groupoids topic, visit your repo's landing page and select "manage topics."