scripts · pac · Tangled

pac scripts

4 files

Ryan Gibb · The npm reading asks the root's intermediates afresh and hands their versions over as points, Npm.v's versions_intermediate_mono shows they only grow, and versions_lookupGranular asks only that some entry of the sub-instance produce the key when one of the instance does · 1mo ago

check-axioms.sh

The npm reading asks the root's intermediates afresh and hands their versions over as points, Npm.v's versions_intermediate_mono shows they only grow, and versions_lookupGranular asks only that some entry of the sub-instance produce the key when one of the instance does

check-citations.py

theories: one skeleton across the ecosystem files, membership lemmas everywhere, comments a Rocq reader needs, dead fields gone

comments: say only what the code, the proofs and the tools' sources bear out; check cited Rocq names in runtest