/src/Helium/Semantics/Axiomatic/

• ../
• Assertion.agda
• Term.agda
• Triple.agda