|
|
| Department of Computer Schience |
| School of Computing |
| National University of Singapore |
| Programming Language and Systems Lab 1 |
| Computing 1 |
| Singapore 117590 |
| email: limengra at comp.nus.edu.sg |
| I am currently a PHD student. My current research area is the automation of inductive proofs and the extension of proof assistants so as to aid the automation of inductive proofs. |
| a draft for the paper on proof of equivalence of cyclic and inductive calculi |
| A manual for the descente infinie tactic implemented can be found here |
| The tactic itself can be found here |