Skip to content

Files

Latest commit

author
Yiyun Liu
Remove deprecated and unused stdlib dependency
Apr 17, 2024
32315ab · Apr 17, 2024

History

History
This branch is 12 commits behind plclub/metalib:master.

Metalib

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
AssocList.v
AssocList.v
Mar 9, 2022
CoqEqDec.v
CoqEqDec.v
Mar 9, 2022
CoqFSetDecide.v
CoqFSetDecide.v
Mar 9, 2022
CoqFSetInterface.v
CoqFSetInterface.v
Jun 9, 2021
CoqListFacts.v
CoqListFacts.v
Jan 8, 2020
CoqUniquenessTac.v
CoqUniquenessTac.v
Jun 9, 2021
CoqUniquenessTacEx.v
CoqUniquenessTacEx.v
Jun 9, 2021
FSetExtra.v
FSetExtra.v
Jun 19, 2017
FSetWeakNotin.v
FSetWeakNotin.v
Mar 9, 2022
LibDefaultSimp.v
LibDefaultSimp.v
Jun 9, 2021
LibLNgen.v
LibLNgen.v
Mar 9, 2022
LibTactics.v
LibTactics.v
Jun 19, 2017
Makefile
Makefile
Jul 5, 2017
Metatheory.v
Metatheory.v
Jun 9, 2021
MetatheoryAtom.v
MetatheoryAtom.v
Apr 17, 2024
README.md
README.md
Mar 9, 2022

README.md

COMPILATION, INSTALLATION, AND DOCUMENTATION:

This library requires Coq 8.15, available via opam or from the Coq website [https://coq.inria.fr/download].

To compile the library:

  `make`          generate Coq makefile, compile Coq files
  `make doc`      generate Coq documentation
  `make install`  install library on your system