Skip to content

@ComputerAidedLL ComputerAidedLL

Change the repository type filter

All

    Repositories list

    14 repositories

    • coq-ll

      Public
      Formalization of Linear Logic in Coq
      Rocq Prover
      •
      GNU General Public License v3.0
      •2•0•0•0•Updated Apr 6, 2026Apr 6, 2026

    • ill_narratives

      Public
      A development of a subset of intuitionistic linear logic, suitable for representing narratives.
      Rocq Prover
      •2•0•0•0•Updated Apr 3, 2026Apr 3, 2026

    • PowerWebster_ILL

      Public
      Intuitionistic Linear Logic in Coq (from Power and Webtser TPHOL 1999)
      Rocq Prover
      •0•0•0•0•Updated Apr 3, 2026Apr 3, 2026

    • Auger_LinearLogic

      Public
      Linear Logic in Coq (by Auger)
      Rocq Prover
      •0•1•0•0•Updated Apr 3, 2026Apr 3, 2026

    • linear-logic

      Public
      An encoding of linear logic in Coq with minimal Sokoban and blocks world examples
      Rocq Prover
      •3•0•0•0•Updated Apr 3, 2026Apr 3, 2026

    • FormalizedLLBib

      Public
      Bibliography of formalizations of Linear Logic using proof assistants
      GNU Lesser General Public License v2.1
      •0•2•0•0•Updated Apr 7, 2025Apr 7, 2025

    • 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
      •
      GNU Lesser General Public License v2.1
      •2•26•19•3•Updated Apr 7, 2025Apr 7, 2025

    • LinearLogic

      Public
      A simple development of linear logic in Coq.
      Makefile
      •2•0•0•0•Updated Mar 23, 2025Mar 23, 2025

    • nanoyalla

      Public
      Kernel Coq formalization of Linear Logic
      Coq
      •
      GNU Lesser General Public License v2.1
      •0•0•0•0•Updated Mar 22, 2025Mar 22, 2025

    • llwikibook

      Public
      Static extraction from LL wiki
      TeX
      •
      Other
      •1•2•0•0•Updated Jan 2, 2025Jan 2, 2025

    • ll-coq

      Public
      Some Coq formalizations of Linear Logic
      Coq
      •
      Do What The F*ck You Want To Public License
      •3•0•0•0•Updated Sep 18, 2024Sep 18, 2024

    • CALLManifesto

      Public
      Description of the Computer Aided Linear Logic project and its components
      0•3•0•0•Updated Oct 10, 2022Oct 10, 2022

    • .github

      Public
      0•0•0•0•Updated Aug 25, 2022Aug 25, 2022

    • LLKeyboard

      Public
      Keyboard configuration for Linear Logic
      GNU Lesser General Public License v2.1
      •0•1•1•0•Updated Jan 14, 2022Jan 14, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.