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