There are 1 repositories under linear-logics topic.
An Implementation of Various Linear Logics in Agda