package info (click to toggle)
ocaml-dune 3.20.2-3
  • links: PTS, VCS
  • area: main
  • in suites: forky
  • size: 33,564 kB
  • sloc: ml: 175,178; asm: 28,570; ansic: 5,251; sh: 1,096; lisp: 625; makefile: 148; python: 125; cpp: 48; javascript: 10

Folder: coq

d .. (parent)
- - rw-r--r-- 260 coq.ml
- - rw-r--r-- 36 coq.mli
- - rw-r--r-- 5,539 coqtop.ml
- - rw-r--r-- 38 coqtop.mli