soundness-proof-assistant
a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/soundness-proof-assistant
PlatformUniversal
Assist in constructing type soundness proofs using progress and preservation theorems
Universal
a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/soundness-proof-assistant
Assist in constructing type soundness proofs using progress and preservation theorems