/a-pi

Formalization of Aπ-calculus in Coq

Primary LanguageCoq

Aπ-calculus

wercker status

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