Integer division, gcd, mod, prime factorization, min, max.

Highlights

Major theorems

Theorem	Location	PVS Name	Contributors

Contributors

• Alfons Geser, HTWK Leipzig, Germany
• Bruno Dutertre, SRI, USA
• Paul Miner, NASA, USA
• Ricky Butler, NASA, USA
• César Muñoz, NASA, USA
• Mariano Moscato, AMA @ NASA, USA
• Sam Owre, SRI, USA
• Bruno Berto de Oliveira Ribeiro, University of Brasília, Brazil

Maintainer

• César Muñoz, NASA, USA

Dependencies