JKF f9e4b4d9aa initial commit

2026-04-01 18:29:46 +02:00

..

Composition.agda

initial commit

2026-04-01 18:29:46 +02:00

Confluence.agda

initial commit

2026-04-01 18:29:46 +02:00

ConversionProperties.agda

initial commit

2026-04-01 18:29:46 +02:00

Inversion.agda

initial commit

2026-04-01 18:29:46 +02:00

Specification.agda

initial commit

2026-04-01 18:29:46 +02:00

SubjectReduction.agda

initial commit

2026-04-01 18:29:46 +02:00

SubstitutionPreservesTyping.agda

initial commit

2026-04-01 18:29:46 +02:00