Home
DCC eCatalog
U.__Berger
The greatest common divisor: a case study for program extraction from classical proofs
