aqj213 Published 8 days ago | 16 views

Linux

bash -l

Pisa-Python-Grpc-Cmd


A Python cmd demo to interact with Isabelle throught PISA