Guillaume Baudart
Results
2
issues of
Guillaume Baudart
Add a Petanque TCP server to communicate with Coq. Bug fixes: - `Run_error`: unbound (ocaml 5.1.1) - Second starts with same args raise `ThmNotFound`
part: petanque
Currently calls to `rand` are capture to execute custom code via `internal_rand`(e.g., add a node for symbolic computation). Why not use a macro, e.g., `@rand` or `@sample` (similar to `@observe`)...
enhancement