jsacchini/cicminus
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
# cicminus Playground implementation of the Calculus of (Co-)Inductive Constructions with type-based termination/productivity.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
# cicminus Playground implementation of the Calculus of (Co-)Inductive Constructions with type-based termination/productivity.