package info (click to toggle)
coq-hott 9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 6,440 kB
  • sloc: sh: 452; python: 414; haskell: 125; makefile: 21

Folder: test

d .. (parent)
d d rwxr-xr-x 43 Algebra
d d rwxr-xr-x 31 Classes
d d rwxr-xr-x 74 Metatheory
d d rwxr-xr-x 27 Pointed
d d rwxr-xr-x 27 Spaces
d d rwxr-xr-x 31 WildCat
d d rwxr-xr-x 4,096 bugs
- - rw-r--r-- 462 Idempotents.v
- - rw-r--r-- 798 README.md
- - rw-r--r-- 137 dune