IBM / pycoq

python API to coq-serapi

IBM/pycoq Issues

What is the real purpose of strace in PyCoq?
Updated a year ago
where is strace_parser supposed to be at?
Closed a year ago1
why does PyCoq opam pin a package before doing the strace of an opam reinstall?
Updated 2 years ago
Why doesn't CoqSerapi object call .start()?
Updated 2 years ago
why doesn't the _aexit_ function have a check if self._kernel is None?
Updated 2 years ago
How does one close manually the CoqSerapi obj?
Updated 2 years ago
What is the path to remove the dependence on linux only (e.g. strace)?
Updated 2 years ago