package info (click to toggle)
proofgeneral 4.5-3
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 5,172 kB
  • sloc: lisp: 33,783; makefile: 388; sh: 118; perl: 109

Folder: ex

d .. (parent)
d d rwxr-xr-x 4,096 test-cases
- - rw-r--r-- 898 KnasterTarski.v
- - rw-r--r-- 3,807 ex-ssreflect.v
- - rw-r--r-- 432 example-utf8.v
- - rw-r--r-- 10,030 indent.v
- - rw-r--r-- 1,914 indent_equations.v
- - rw-r--r-- 1,183 indent_monadic.v
- - rw-r--r-- 57 mult1.v
- - rw-r--r-- 103 mult2.v
- - rw-r--r-- 73 mult3.v