File: _CoqProject

package info (click to toggle)
coq-equations 1.3.1-8.20-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 3,796 kB
  • sloc: ml: 12,434; makefile: 98; sh: 35
file content (23 lines) | stat: -rw-r--r-- 353 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 
-I ../src -R ../theories Equations -Q . Examples
INSTALLDEFAULTROOT = Equations
Fin.v
HoTT_light.v
RoseTree.v
graph_complete.v
STLC.v
polynomials.v
string_matching.v
nested_mut_rec.v
MoreDep.v
general_recursion.v
Basics.v
definterp.v
ordinals.v
ho_finite_branching.v
mutualwfrec.v
accumulator.v
views.v
wfrec.v
AlmostFull.v
POPLMark1a.v
bove_capretta.v