Skip to content
@ComputerAidedLL

ComputerAidedLL

README.md

Computer Aided Linear Logic

We aim at developing a family of tools for manipulating linear logic (proofs) on a computer.

Have a look at the CALL manifesto for more details.

Pinned Loading

  1. CALLManifesto CALLManifesto Public

    Description of the Computer Aided Linear Logic project and its components

    1

  2. click-and-collect click-and-collect Public

    A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml

    OCaml 17 2

  3. LLKeyboard LLKeyboard Public

    Keyboard configuration for Linear Logic

    1

  4. FormalizedLLBib FormalizedLLBib Public

    Bibliography of formalizations of Linear Logic using proof assistants

    1

Repositories

Showing 10 of 13 repositories
  • ll-coq Public Forked from ppedrot/ll-coq

    Some Coq formalizations of Linear Logic

    ComputerAidedLL/ll-coq’s past year of commit activity
    Coq 0 WTFPL 3 0 0 Updated Sep 18, 2024
  • nanoyalla Public

    Kernel Coq formalization of Linear Logic

    ComputerAidedLL/nanoyalla’s past year of commit activity
    Coq 0 LGPL-2.1 0 0 0 Updated Sep 17, 2024
  • ill_narratives Public Forked from Matafou/ill_narratives

    A development of a subset of intuitionistic linear logic, suitable for representing narratives.

    ComputerAidedLL/ill_narratives’s past year of commit activity
    Coq 0 2 0 0 Updated Sep 17, 2024
  • coq-ll Public Forked from meta-logic/coq-ll

    Formalization of Linear Logic in Coq

    ComputerAidedLL/coq-ll’s past year of commit activity
    Coq 0 GPL-3.0 2 0 0 Updated Sep 16, 2024
  • PowerWebster_ILL Public

    Intuitionistic Linear Logic in Coq (from Power and Webtser TPHOL 1999)

    ComputerAidedLL/PowerWebster_ILL’s past year of commit activity
    Coq 0 0 0 0 Updated Dec 30, 2022
  • FormalizedLLBib Public

    Bibliography of formalizations of Linear Logic using proof assistants

    ComputerAidedLL/FormalizedLLBib’s past year of commit activity
    1 LGPL-2.1 0 0 0 Updated Nov 27, 2022
  • CALLManifesto Public

    Description of the Computer Aided Linear Logic project and its components

    ComputerAidedLL/CALLManifesto’s past year of commit activity
    1 0 0 0 Updated Oct 10, 2022
  • .github Public
    ComputerAidedLL/.github’s past year of commit activity
    0 0 0 0 Updated Aug 25, 2022
  • linear-logic Public Forked from kai-qu/linear-logic

    An encoding of linear logic in Coq with minimal Sokoban and blocks world examples

    ComputerAidedLL/linear-logic’s past year of commit activity
    Coq 0 3 0 0 Updated Feb 6, 2022
  • Auger_LinearLogic Public

    Linear Logic in Coq (by Auger)

    ComputerAidedLL/Auger_LinearLogic’s past year of commit activity
    Coq 1 0 0 0 Updated Feb 4, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…