How does one close manually the CoqSerapi obj?
brando90 opened this issue · comments
I see it has a aexit but that method doesn't have default args. Nor does the obj have a .closing or .quit method. So how does one close this? @pestun
python API to coq-serapi
brando90 opened this issue · comments
I see it has a aexit but that method doesn't have default args. Nor does the obj have a .closing or .quit method. So how does one close this? @pestun