Polar

swMATH7906MaRDI QIDQ19922FDOQ19922

Author name not available (Why is that?)

Cited In (2)

• Aligning concepts across proof assistant libraries
• Polar: A Framework for Proof Refactoring

This page was built for software: Polar