coq-proof-assistant
a5c-ai/babysitter/library/specializations/domains/science/mathematics/skills/coq-proof-assistant
PlatformVS Code
Interface with Coq proof assistant for formal verification
VS Code
a5c-ai/babysitter/library/specializations/domains/science/mathematics/skills/coq-proof-assistant
Interface with Coq proof assistant for formal verification