Towards a Formally Verified Proof Assistant.

Abhishek Anand, Vincent Rahli

Browse the full ITP paper archive.