Professional reasoning verifier and formal logic solver.
Verantyx Logic は、プライバシーを重視した完全ローカル動作の論理検証アプリです。