scripts · pac · Tangled

ryan.freumh.org / pac

This repository has no description

pac scripts

4 files

Ryan Gibb · Npm.v, its audit list and lib/npm say dependee name for target and reduced for the reduced instance's names (d_name, reducedNames, slotNames, slot_names), and canBeAbsent for loose · 13h ago

check-axioms.sh

Npm.v, its audit list and lib/npm say dependee name for target and reduced for the reduced instance's names (d_name, reducedNames, slotNames, slot_names), and canBeAbsent for loose

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