Summary: morphic-symplexis is a framework for formalizing categories, theories and metatheories in Lean, Rocq (formerly Coq), C# and F#.
Table of Contents
This repository was implemented using Lean 4, Rocq (formerly Coq), C# and F# (via .NET Core 6.0.428).
To download this repository, there are currently two mains options:
Clone the repository using either GitHub Desktop or the command line (terminal) :
git clone https://github.com/morphic-symplexis/morphic-symplexis.git
Download the repository as a ZIP file, as described here
You can choose whichever best suits your needs.
Note: If you do not have Git on Windows, then you can download it here.