jsacchini/cic-wf
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
# cic-wf Playground implementation of the Calculus of (Co-)Inductive Constructions with well-founded sized types for termination/productivity checking.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
# cic-wf Playground implementation of the Calculus of (Co-)Inductive Constructions with well-founded sized types for termination/productivity checking.