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

A framework for Systems Verification of categories, Theories and Meta Theories in Lean, Rocq, C# and F#.
https://github.com/morphic-symplexis/morphic-symplexis

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: about 2 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/morphic-symplexis/morphic-symplexis
• Owner: Morphic-Symplexis
• License: apache-2.0
• Created: 2025-09-02T22:44:37.000Z (10 months ago)
• Default Branch: master
• Last Pushed: 2025-09-22T12:02:37.000Z (9 months ago)
• Last Synced: 2025-09-22T13:20:06.781Z (9 months ago)
• Topics: 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
• Language: C#
• Homepage:
• Size: 166 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.rst
  • License: LICENSE
  • Authors: AUTHORS

Awesome Lists containing this project

README

          
morphic-symplexis

=========================

.. image:: https://img.shields.io/badge/License-Apache%202.0-lightblue.svg

  :target: LICENSE

  :alt: License

|

**Summary:** ``morphic-symplexis`` is a software framework for **Systems Verification** of categories, Theories and Meta Theories in Lean, Rocq (formerly Coq), C# and F#. It is primarily focused on Formal Verification of Classical Mathematics and Metamathematics, but it is envisaged to also include Verification of Continuous and Hybrid Systems in the future.

|

.. contents:: **Table of Contents**

|

Downloading

-------------------------

To download this repository, there are currently two mains options:

- Clone the repository using either `GitHub Desktop `_ or the `command line (terminal) `_ :

  .. code::

    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 `_.

Setup and installation

-------------------------

*Coming soon*

About

-------------------------

This framework was implemented using **Lean 4**, **Rocq** (formerly Coq), **C#** and **F#** (via `.NET Core 6.0.428 `_). The ``morphic-symplexis`` framework is |fully Open-Source|, as it does *not* rely on any Closed-Source language, framework, library, etc.

The main **components** of this software framework are the following:

- `C# and F# (.NET) library `_

- `Lean library `_

- `Rocq library `_

Minimum hardware and software requirements

--------------------------------------------------

Any Operating System from the following list `that can run .NET Core 6.0 `_:

- All major Linux distributions (after 2016)

- macOS Catalina (version 10.15) or later

- MS Windows 10 or later

Minimum hardware requirements:

- Any CPU (no GPU necessary)

- 2GB RAM

Acknowledgements

----------------

See `Acknowledgements `_.

References

----------

See `References `_.

License 

-------------------------

`Apache License 2.0 `_

.. |br| raw:: html

  


.. |fully Open-Source| raw:: html

  fully Open-Source