rocketnia/ceptre-cos

A Ceptre implementation of the calculus of structures

MIT