logicaffeine-proof
| Crates.io | logicaffeine-proof |
| lib.rs | logicaffeine-proof |
| version | 0.6.0 |
| created_at | 2026-01-17 14:43:43.518317+00 |
| updated_at | 2026-01-17 14:43:43.518317+00 |
| description | Backward-chaining proof engine with Socratic hints |
| homepage | https://logicaffeine.com |
| repository | https://github.com/Brahmastra-Labs/logicaffeine |
| max_upload_size | |
| id | 2050537 |
| size | 330,251 |
Tristen Harr (TristenHarr)
documentation
README
logicaffeine-proof
Backward-chaining proof engine with Socratic hints.
Part of the Logicaffeine project.
License
Business Source License 1.1 (BUSL-1.1)
- Free for individuals and organizations with <25 employees
- Commercial license required for organizations with 25+ employees offering Logic Services
- Converts to MIT on December 24, 2029
See LICENSE for full terms.