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: NatInt

d .. (parent)
- - rw-r--r-- 3,714 NZAdd.v
- - rw-r--r-- 5,784 NZAddOrder.v
- - rw-r--r-- 9,507 NZAxioms.v
- - rw-r--r-- 3,327 NZBase.v
- - rw-r--r-- 3,064 NZBits.v
- - rw-r--r-- 16,723 NZDiv.v
- - rw-r--r-- 10,975 NZDomain.v
- - rw-r--r-- 8,740 NZGcd.v
- - rw-r--r-- 29,588 NZLog.v
- - rw-r--r-- 3,504 NZMul.v
- - rw-r--r-- 14,363 NZMulOrder.v
- - rw-r--r-- 19,073 NZOrder.v
- - rw-r--r-- 8,064 NZParity.v
- - rw-r--r-- 12,745 NZPow.v
- - rw-r--r-- 1,152 NZProperties.v
- - rw-r--r-- 23,669 NZSqrt.v