package info (click to toggle)
rocq-stdlib 9.0.0-3
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 11,828 kB
  • sloc: python: 2,928; sh: 444; makefile: 319; javascript: 24; ml: 2

Folder: Abstract

d .. (parent)
- - rw-r--r-- 3,005 NAdd.v
- - rw-r--r-- 1,837 NAddOrder.v
- - rw-r--r-- 2,915 NAxioms.v
- - rw-r--r-- 5,415 NBase.v
- - rw-r--r-- 52,928 NBits.v
- - rw-r--r-- 12,326 NDefOps.v
- - rw-r--r-- 8,047 NDiv.v
- - rw-r--r-- 11,205 NDiv0.v
- - rw-r--r-- 9,967 NGcd.v
- - rw-r--r-- 3,553 NIso.v
- - rw-r--r-- 8,718 NLcm.v
- - rw-r--r-- 5,917 NLcm0.v
- - rw-r--r-- 1,039 NLog.v
- - rw-r--r-- 4,043 NMaxMin.v
- - rw-r--r-- 3,219 NMulOrder.v
- - rw-r--r-- 8,401 NOrder.v
- - rw-r--r-- 2,516 NParity.v
- - rw-r--r-- 4,941 NPow.v
- - rw-r--r-- 1,932 NProperties.v
- - rw-r--r-- 2,581 NSqrt.v
- - rw-r--r-- 5,793 NStrongRec.v
- - rw-r--r-- 11,612 NSub.v