GitHub repository: thautwarm/Sequent.jl
Primary language: Julia
Created: 2020-08-11T16:50:28Z
Description: formally and easily, describe the semantics.