RATH-Agda

MaRDI QIDQ25218swMATHFDO

Official website http://relmics.mcmaster.ca/RATH-Agda/

Cited in

(3)

• A mechanised abstract formalisation of concept lattices
• Towards ``mouldable code via nested code graph transformation
• Categories of coalgebras with monadic homomorphisms

This page was built for software: RATH-Agda