Beast code in Giters

meta-logic's repositories

Formalization of Linear Logic in Coq

Language:CoqGPL-3.014 60

TPTP linear logic version

Language:OpenEdge ABLGPL-3.013 7 5

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

Language:Standard MLGPL-3.013 2 27

SubExponential Linear Logic Framework for reasoning about sequent calculus systems

Language:JavaScript7 4 16

A tool that translates SML code to Coq

Language:Standard MLGPL-3.06 3 14

Language:TeX1 3 5

Interface for interactive proof-writing for undergraduate CS education

Language:JavaScript100

This is not a game.

Language:Standard ML030

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

Language:CoqGPL-3.0040

SML reference interpreter

Language:Standard ML010

Multi-modalities in Linear Logic

Language:CoqGPL-3.0040

Unification of multisets with multiple multiset variables

Language:Standard ML020