Agent Skills: proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
UncategorizedID: plurigrid/asi/proofgeneral-narya
165
Install this agent skill to your local
Skill Files
Browse the full folder contents for proofgeneral-narya.
Loading file tree…
Select a file to preview its contents.