A Ceptre implementation of the calculus of structures
MIT LicenseMIT
No issues in this repository yet.