IMP

Medical abbreviations:
IMP

Interactive Mathematical Proofs