Polar

MaRDI QIDQ19922swMATHFDO

Official website http://rd.springer.com/chapter/10.1007%2F978-3-642-45221-5_52

Cited in

(3)

• GrGen
• Aligning concepts across proof assistant libraries
• \textsc{Polar}: a framework for proof refactoring

This page was built for software: Polar