GitHub repository: meta-logic/coq-fll
Primary language: Coq
Created: 2020-02-19T18:06:28Z
Description: A Focused Linear Logical Framework and its Application to Metatheory of Object Logics