proof-assistant
a5c-ai/babysitter/library/specializations/algorithms-optimization/skills/proof-assistant
PlatformUniversal
Assist in constructing algorithm correctness proofs
Universal
a5c-ai/babysitter/library/specializations/algorithms-optimization/skills/proof-assistant
Assist in constructing algorithm correctness proofs