Pisa-Python-Grpc-Cmd
A Python cmd demo to interact with Isabelle throught PISA
aqj213
|
406 views
Linux
bash -l
A Python cmd demo to interact with Isabelle throught PISA