Sources of: A Machine-checked Proof of Consistency for Impredicative Pure Type Systems

Sebastián Urciuoli

• Relation.agda
• ParallelReduction.agda
• ParallelReduction.Properties.agda
• ChurchRosser.agda
• InjectivityProducts.agda
• SubjectReduction.agda
• Normalizing.agda
• NormalForm.agda
• ConsistencyImpred.agda