coq-proof-assistant

a5c-ai/babysitter/library/specializations/domains/science/mathematics/skills/coq-proof-assistant

1.7k 0JavaScriptDev Tools
PlatformVS Code

Interface with Coq proof assistant for formal verification

VS Code

All Skills