Skip to content

@ComputerAidedLL ComputerAidedLL

Change the repository type filter

All

    Repositories list

    14 repositories

    • coq-ll

      Public
      Formalization of Linear Logic in Coq
      Coq
      •
      GNU General Public License v3.0
      •2•0•0•0•Updated Apr 9, 2025Apr 9, 2025

    • FormalizedLLBib

      Public
      Bibliography of formalizations of Linear Logic using proof assistants
      GNU Lesser General Public License v2.1
      •0•1•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
      •3•22•18•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

    • ill_narratives

      Public
      A development of a subset of intuitionistic linear logic, suitable for representing narratives.
      Coq
      •2•0•0•0•Updated Mar 22, 2025Mar 22, 2025

    • PowerWebster_ILL

      Public
      Intuitionistic Linear Logic in Coq (from Power and Webtser TPHOL 1999)
      Coq
      •0•0•0•0•Updated Mar 22, 2025Mar 22, 2025

    • Auger_LinearLogic

      Public
      Linear Logic in Coq (by Auger)
      Coq
      •0•1•0•0•Updated Mar 22, 2025Mar 22, 2025

    • linear-logic

      Public
      An encoding of linear logic in Coq with minimal Sokoban and blocks world examples
      Coq
      •3•0•0•0•Updated Mar 22, 2025Mar 22, 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•2•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•0•0•Updated Jan 14, 2022Jan 14, 2022