HVM3 This project is an efficient implementation of the Interaction Calculus. Before doing any work, read the HVM.md file to learn more about it.