Polar

swMATH7906MaRDI QIDQ19922FDOQ19922

Author name not available (Why is that?)

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

Cited In (3)

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

This page was built for software: Polar