File: _CoqProject

package info (click to toggle)
paramcoq 1.1.3%2Bcoq8.16-3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 444 kB
  • sloc: ml: 1,677; python: 112; sh: 61; makefile: 54
file content (11 lines) | stat: -rw-r--r-- 213 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
-generate-meta-for-package coq-paramcoq
-R theories Param
-R src Param
-I src
src/debug.ml
src/parametricity.ml
src/relations.ml
src/declare_translation.ml
src/abstraction.mlg
src/paramcoq.mlpack
theories/Param.v