Hugging Face Space: Kiran1729/pi_calculus
Author: Kiran1729
SDK: docker
title: Pi Calculus
license: other
short_description: modelling and analysis of pi calculus expressions