We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
# cicminus Playground implementation of the Calculus of (Co-)Inductive Constructions with type-based termination/productivity.