lean-proof-assistant
a5c-ai/babysitter/library/specializations/domains/science/mathematics/skills/lean-proof-assistant
PlatformVS Code
Interface with Lean 4 proof assistant for formal theorem verification
VS Code
a5c-ai/babysitter/library/specializations/domains/science/mathematics/skills/lean-proof-assistant
Interface with Lean 4 proof assistant for formal theorem verification