Gallina

swMATH27568MaRDI QIDQ39284FDOQ39284

Author name not available (Why is that?)

Cited In (6)

• Extensible and Efficient Automation Through Reflective Tactics
• Verified heap theorem prover by paramodulation
• Residual theory in λ-calculus: a formal development
• Inductive families
• Title not available (Why is that?)
• Towards certified meta-programming with typed Template-Coq

This page was built for software: Gallina