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

Folder: examples

d .. (parent)
- - rw-r--r-- 57,001 AlmostFull.v
- - rw-r--r-- 19,336 Basics.v
- - rw-r--r-- 4,042 Fin.v
- - rw-r--r-- 20,492 HoTT_light.v
- - rw-r--r-- 91 Makefile.local
- - rw-r--r-- 10,533 MoreDep.v
- - rw-r--r-- 12,546 POPLMark1a.v
- - rw-r--r-- 6,691 RoseTree.v
- - rw-r--r-- 36,916 STLC.v
- - rw-r--r-- 353 _CoqProject
- - rw-r--r-- 382 _HoTTProject
- - rw-r--r-- 6,208 accumulator.v
- - rw-r--r-- 5,033 bove_capretta.v
- - rw-r--r-- 15,558 definterp.v
- - rw-r--r-- 14,713 definterp_scope.v
- - rw-r--r-- 4,547 definterp_simple.v
- - rw-r--r-- 1,595 function_iter_style.v
- - rw-r--r-- 8,223 general_recursion.v
- - rw-r--r-- 1,365 graph_complete.v
- - rw-r--r-- 879 ho_finite_branching.v
- - rw-r--r-- 1,471 misc.v
- - rw-r--r-- 4,843 mutualwfrec.v
- - rw-r--r-- 3,816 nested_mut_rec.v
- - rw-r--r-- 3,372 nm.v
- - rw-r--r-- 27,451 ordinals.v
- - rw-r--r-- 36,794 polynomials.v
- - rw-r--r-- 7,864 quicksort.v
- - rw-r--r-- 6,493 string_matching.v
- - rw-r--r-- 4,067 views.v
- - rw-r--r-- 3,357 wfrec.v