package info (click to toggle)
coq-doc 8.4pl4-2
  • links: PTS, VCS
  • area: non-free
  • in suites: stretch
  • size: 21,852 kB
  • ctags: 24,335
  • sloc: ml: 140,953; ansic: 1,982; lisp: 1,406; sh: 1,347; makefile: 572; sed: 2

Folder: micromega

d .. (parent)
- - rw-r--r-- 4,896 CheckerMaker.v
- - rw-r--r-- 3,108 Env.v
- - rw-r--r-- 31,052 EnvRing.v
- - rw-r--r-- 1,583 LICENSE.sos
- - rw-r--r-- 2,316 MExtraction.v
- - rw-r--r-- 14,122 OrderedRing.v
- - rw-r--r-- 4,131 Psatz.v
- - rw-r--r-- 6,628 QMicromega.v
- - rw-r--r-- 13,841 RMicromega.v
- - rw-r--r-- 3,548 Refl.v
- - rw-r--r-- 31,558 RingMicromega.v
- - rw-r--r-- 14,168 Tauto.v
- - rw-r--r-- 1,862 VarMap.v
- - rw-r--r-- 5,237 ZCoeff.v
- - rw-r--r-- 30,881 ZMicromega.v
- - rw-r--r-- 37,485 certificate.ml
- - rw-r--r-- 65,241 coq_micromega.ml
- - rw-r--r-- 6,856 csdpcert.ml
- - rw-r--r-- 2,307 g_micromega.ml4
- - rw-r--r-- 28,311 mfourier.ml
- - rw-r--r-- 99,626 micromega.ml
- - rw-r--r-- 24,673 micromega.mli
- - rw-r--r-- 123 micromega_plugin.mllib
- - rw-r--r-- 10,982 mutils.ml
- - rw-r--r-- 5,474 persistent_cache.ml
- - rw-r--r-- 19,419 polynomial.ml
- - rw-r--r-- 74,411 sos.ml
- - rw-r--r-- 1,161 sos.mli
- - rw-r--r-- 22,335 sos_lib.ml
- - rw-r--r-- 2,796 sos_types.ml
- - rw-r--r-- 154 vo.itarget