Integrating an Equality Prover into a Software Development System Based on Type Theory.

Martin Strecker, Maria Sorea

Browse the full KI paper archive.