Skip to content
@meta-logic

meta-logic

Popular repositories Loading

  1. coq-ll coq-ll Public

    Formalization of Linear Logic in Coq

    Coq 14 2

  2. lltp lltp Public

    TPTP linear logic version

    OpenEdge ABL 13 2

  3. sequoia-v0 sequoia-v0 Public

    Design, play with, and analyze sequent calculus proof systems.

    Standard ML 13 1

  4. sellf sellf Public

    SubExponential Linear Logic Framework for reasoning about sequent calculus systems

    JavaScript 7 2

  5. sml-to-coq sml-to-coq Public

    A tool that translates SML code to Coq

    Standard ML 6

  6. abella-reasoning abella-reasoning Public

    TeX 1 1

Repositories

Showing 10 of 12 repositories
  • coq-ll Public

    Formalization of Linear Logic in Coq

    meta-logic/coq-ll’s past year of commit activity
    Coq 14 GPL-3.0 2 0 0 Updated Oct 7, 2024
  • sequoia-v0 Public

    Design, play with, and analyze sequent calculus proof systems.

    meta-logic/sequoia-v0’s past year of commit activity
    Standard ML 13 GPL-3.0 1 7 0 Updated Sep 5, 2024
  • sml-to-coq Public

    A tool that translates SML code to Coq

    meta-logic/sml-to-coq’s past year of commit activity
    Standard ML 6 GPL-3.0 0 11 0 Updated Apr 10, 2023
  • Silkie Public Forked from Abubakr17/Silkie

    Interface for interactive proof-writing for undergraduate CS education

    meta-logic/Silkie’s past year of commit activity
    JavaScript 1 1 0 0 Updated Mar 19, 2023
  • MMLL Public

    Multi-modalities in Linear Logic

    meta-logic/MMLL’s past year of commit activity
    Coq 0 GPL-3.0 0 0 0 Updated Jun 17, 2022
  • coq-fll Public

    A Focused Linear Logical Framework and its Application to Metatheory of Object Logics

    meta-logic/coq-fll’s past year of commit activity
    Coq 0 GPL-3.0 1 0 0 Updated Oct 11, 2021
  • hamlet Public Forked from rossberg/hamlet

    SML reference interpreter

    meta-logic/hamlet’s past year of commit activity
    Standard ML 0 16 0 0 Updated Apr 21, 2021
  • lltp Public

    TPTP linear logic version

    meta-logic/lltp’s past year of commit activity
    OpenEdge ABL 13 GPL-3.0 2 1 0 Updated Jun 2, 2020
  • sellf Public

    SubExponential Linear Logic Framework for reasoning about sequent calculus systems

    meta-logic/sellf’s past year of commit activity
    JavaScript 7 2 12 0 Updated Feb 14, 2020
  • mmset-unif Public

    Unification of multisets with multiple multiset variables

    meta-logic/mmset-unif’s past year of commit activity
    Standard ML 0 0 0 0 Updated May 31, 2019
View all repositories

Top languages

Loading…

Most used topics

Loading…