coq-serapi icon indicating copy to clipboard operation
coq-serapi copied to clipboard

Published 20 hours ago • verified publisher icon ejgallego

Structured view of Coq documents

Open ejgallego opened this issue 3 years ago • 0 comments

This is a frequent request by for example @cpitclaudel or @JasonGross ; I already have something in my document manager implementation that does exactly this [so incremental checking can have something a bit better than a linear domain for the DAG]

I will extract it out to a library and expose it in SerAPI / pyCoq.

ejgallego avatar Nov 12 '21 15:11 ejgallego