Skip to content

History / Other Coq Resources

Edit page New page

Revisions

  • Removing link to subst++ whose features are now part of the regular `subst` (see also wiki commit dfd8b7b122)

    @herbelin herbelin committed Sep 5, 2020
    6d905e6

  • Rename link InductionWithSelfDefinedCases

    @herbelin herbelin committed Sep 5, 2020
    2306c6d

  • Update links to teachning material.

    @Zimmi48 Zimmi48 committed May 24, 2018
    1c13e90