package info (click to toggle)
mathcomp-real-closed 2.0.2-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 800 kB
  • sloc: makefile: 28

Folder: theories

d .. (parent)
- - rw-r--r-- 227 all_real_closed.v
- - rw-r--r-- 64,848 cauchyreals.v
- - rw-r--r-- 47,606 complex.v
- - rw-r--r-- 11,541 mxtens.v
- - rw-r--r-- 48,752 ordered_qelim.v
- - rw-r--r-- 9,776 polyorder.v
- - rw-r--r-- 72,945 polyrcf.v
- - rw-r--r-- 34,333 qe_rcf.v
- - rw-r--r-- 53,247 qe_rcf_th.v
- - rw-r--r-- 53,291 realalg.v