The following pages link to Abhishek Anand (Q1791137):
Displaying 5 items.
- Towards certified meta-programming with typed Template-Coq (Q1791140) (← links)
- The \textsc{MetaCoq} project (Q2209542) (← links)
- Towards a Formally Verified Proof Assistant (Q2879241) (← links)
- ROSCoq: Robots Powered by Constructive Reals (Q2945622) (← links)
- Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types (Q5327349) (← links)
