GitHub repository: zaklogician/linear-constructive
Primary language: Agda
Created: 2018-05-22T21:21:30Z
Description: Linear Logic for Constructive Mathematics, in Agda