Skip to content

Define a minimal subset of Module(Type) Declarations in template-coq - #739

Draft
yeejian-tan wants to merge 50 commits into
MetaRocq:coq-8.16from
yeejian-tan:global-env-tree
Draft

Define a minimal subset of Module(Type) Declarations in template-coq#739
yeejian-tan wants to merge 50 commits into
MetaRocq:coq-8.16from
yeejian-tan:global-env-tree

Define well-founded recursion on structure_field

58ce481
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs