aqj213 Published 2 years ago | 245 views

Linux

bash -l

Pisa-Python-Grpc-Cmd

A Python cmd demo to interact with Isabelle throught PISA

bash