logicaffeine-kernel 0.6.0

Pure Calculus of Constructions type theory - NO LEXICON

Coverage
86.12%
180 out of 209 items documented0 out of 83 items with examples
Size
Source code size: 556.63 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 19.04 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 15s Average build duration of successful builds.
all releases: 16s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
Brahmastra-Labs/logicaffeine
27 2 19
crates.io
Dependencies
- logicaffeine-base ^0.6.0 normal
Versions
Owners

logicaffeine-kernel

Pure Calculus of Constructions type theory - NO LEXICON.

Part of the Logicaffeine project.

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.