About me
- Today
- Post-doc in project
Tools for Proofs at MSR-INRIA joint lab.
I am working on TLA+ proof manager.
- Member of ARC Corias.
New TLAPS release and website.
- Post-doc in project
Tools for Proofs at MSR-INRIA joint lab.