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.