soundness-proof-assistant

// Assist in constructing type soundness proofs using progress and preservation theorems

$ git log --oneline --stat

stars:384

forks:73

updated:March 4, 2026

SKILL.md

Този skill няма публичен SKILL.md файл.