Data Science & Analytics

Formal Logic Reasoner

Skill for formal logical reasoning and argument validation

Publisher / source
a5c-ai/babysitter (found on GitHub top repositories)
Upstream record
a5c-ai/babysitter
Version
Version 1
Published
Publication review
Approved for publication · recorded passed scan 2026-11-07
Content fingerprint
ecd1a6751522e30032165602a12a565b0ee7648878599e83fd5536d3630de86d