Repositories list

• coq-ll

  Public
  Formalization of Linear Logic in Coq

  Coq

  •

  GNU General Public License v3.0

  •2•14•0•0•Updated Oct 7, 2024Oct 7, 2024

• sequoia-v0

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

  Standard ML

  •

  GNU General Public License v3.0

  •1•13•7•0•Updated Sep 5, 2024Sep 5, 2024

• sml-to-coq

  Public
  A tool that translates SML code to Coq

  Standard ML

  •

  GNU General Public License v3.0

  •0•6•11•0•Updated Apr 10, 2023Apr 10, 2023

• Silkie

  Public
  Interface for interactive proof-writing for undergraduate CS education

  JavaScript

  •1•1•0•0•Updated Mar 19, 2023Mar 19, 2023

• MMLL

  Public
  Multi-modalities in Linear Logic

  Coq

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jun 17, 2022Jun 17, 2022

• coq-fll

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

  Coq

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Oct 11, 2021Oct 11, 2021

• hamlet

  Public
  SML reference interpreter

  Standard ML

  •15•0•0•0•Updated Apr 21, 2021Apr 21, 2021

• lltp

  Public
  TPTP linear logic version

  OpenEdge ABL

  •

  GNU General Public License v3.0

  •2•13•1•0•Updated Jun 2, 2020Jun 2, 2020

• sellf

  Public
  SubExponential Linear Logic Framework for reasoning about sequent calculus systems

  JavaScript

  •2•7•12•0•Updated Feb 14, 2020Feb 14, 2020

• mmset-unif

  Public
  Unification of multisets with multiple multiset variables

  Standard ML

  •0•0•0•0•Updated May 31, 2019May 31, 2019

• abella-reasoning

  Public
  TeX

  •1•1•5•0•Updated Jan 25, 2019Jan 25, 2019

• checkers

  Public
  This is not a game.

  Standard ML

  •0•0•0•0•Updated May 13, 2015May 13, 2015