Add secf from https://softwarefoundations.cis.upenn.edu/secf-current/secf.tgz#17
Merged
bcpierce00 merged 2 commits intoDeepSpec:masterfrom Mar 9, 2026
Merged
Add secf from https://softwarefoundations.cis.upenn.edu/secf-current/secf.tgz#17bcpierce00 merged 2 commits intoDeepSpec:masterfrom
bcpierce00 merged 2 commits intoDeepSpec:masterfrom
