Skip to content
/ subterm-metacoq Public

Rewriting and verifying subterm relation from Coq-Equations in MetaCoq

0 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

liesnikov/subterm-metacoq

3 Branches0 Tags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

liesnikovliesnikov
some cosmetics
Dec 12, 2019
2d3f9c8 · Dec 12, 2019

History

10 Commits
_CoqProject
_CoqProject
Nov 14, 2019
notes.org
notes.org
Nov 28, 2019
subterm.v
subterm.v
Dec 12, 2019

About

Rewriting and verifying subterm relation from Coq-Equations in MetaCoq

Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages