About

Metadata

  • Last updated , by renzyq19
  • License GPL-3.0-only
  • Categories Web Development
  • Maintained by: will.derenzymartin@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

Phi - an interpreter for the applied pi-calculus. Very rough around the edges.