lean-proof-assistant

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

1.7k 0JavaScriptDev Tools
PlatformVS Code

Interface with Lean 4 proof assistant for formal theorem verification

VS Code

All Skills