aqj213 Published 2 years ago | 247 views
Linux
bash -l
A Python cmd demo to interact with Isabelle throught PISA