Aπ-calculus A formalization of Aπ-calculus using Coq. Requirements Coq-8.4pl4 Compilation (Verification) $ cd /path/to/a-pi $ make Current Progress proof of the soundness property proof of the type preservation property