This repository was archived by the owner on Mar 30, 2026. It is now read-only.

Run coq commands in isolation#84

Open

driverag22 wants to merge 1 commit intoimpermeable:developfrom

driverag22:isolatedCoqCommands

Commits on Feb 7, 2023

added new vernac query with sentenceId, and used it to run coq commands on isolation
driverag22
committed