logicaffeine-kernel
| Crates.io | logicaffeine-kernel |
| lib.rs | logicaffeine-kernel |
| version | 0.6.0 |
| created_at | 2026-01-17 14:33:52.947865+00 |
| updated_at | 2026-01-17 14:33:52.947865+00 |
| description | Pure Calculus of Constructions type theory - NO LEXICON |
| homepage | https://logicaffeine.com |
| repository | https://github.com/Brahmastra-Labs/logicaffeine |
| max_upload_size | |
| id | 2050523 |
| size | 557,144 |
Tristen Harr (TristenHarr)
documentation
README
logicaffeine-kernel
Pure Calculus of Constructions type theory - NO LEXICON.
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.