Skip to content
@Larch-Team

Larch Team

Pinned Loading

  1. Larch Larch Public

    Proof assistant created in the Plugin Oriented Programming paradigm

    Python 1

Repositories

Showing 3 of 3 repositories
  • venice-turpentine Public Forked from Larch-Team/Larch

    Trying to create a slimmed down packagable version of Larch to run in a Pyodide environment

    Larch-Team/venice-turpentine’s past year of commit activity
    Python 0 1 0 0 Updated Dec 26, 2024
  • Larch Public

    Proof assistant created in the Plugin Oriented Programming paradigm

    Larch-Team/Larch’s past year of commit activity
    Python 0 1 0 2 Updated Feb 16, 2023
  • larch-plugins Public

    Plugin repository for the Larch proving assistant

    Larch-Team/larch-plugins’s past year of commit activity
    0 0 0 0 Updated Nov 18, 2021

Top languages

Loading…

Most used topics

Loading…