package info (click to toggle)
metamath-databases 0.0.0~20210101.git55fe226-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, forky, sid, trixie
  • size: 48,584 kB
  • sloc: makefile: 7; sh: 6

Folder: 0.0.0~20210101.git55fe226-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 debian
- - rw-r--r-- 4,447 CONTRIBUTING.md
- - rw-r--r-- 6,556 LICENSE
- - rw-r--r-- 361 README.md
- - rw-r--r-- 21,721 big-unifier.mm
- - rw-r--r-- 1,364 demo0.mm
- - rw-r--r-- 87,294 hol.mm
- - rw-r--r-- 4,490,687 iset.mm
- - rw-r--r-- 4,660 miu.mm
- - rw-r--r-- 427,114 mmnotes.txt
- - rw-r--r-- 3,001,027 nf.mm
- - rw-r--r-- 27,842 peano.mm
- - rw-r--r-- 572,528 ql.mm
- - rw-r--r-- 41,013,180 set.mm