Abhishek Anand

Available identifiers

zbMath Open anand.abhishekMaRDI QIDQ1791137

List of research outcomes

Publication	Date of Publication	Type
The \textsc{MetaCoq} project	2020-11-02	Paper
Towards certified meta-programming with typed Template-Coq	2018-10-04	Paper
ROSCoq: Robots Powered by Constructive Reals	2015-09-14	Paper
Towards a Formally Verified Proof Assistant	2014-09-08	Paper
Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types	2013-08-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Abhishek Anand