Continuous π-calculus

This is a machine formalisation of the Continuous π-calculus, using the Lean theorem prover.

Building

If you do not have Lean installed, use elan to install the appropriate version.
Run leanpkg build within the root directory of the project. All dependencies should be installed, and the project type-checked.