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

    3

  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 24 3

  3. LLKeyboard LLKeyboard Public

    Keyboard configuration for Linear Logic

    1

  4. FormalizedLLBib FormalizedLLBib Public

    Bibliography of formalizations of Linear Logic using proof assistants

    2

Repositories

Showing 10 of 14 repositories
View all repositories

People

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

Most used topics

Loading…