logicaffeine-kernel 0.8.10

Pure Calculus of Constructions type theory - NO LEXICON
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

[package]
name = "logicaffeine-kernel"
version = "0.8.10"
edition.workspace = true
authors.workspace = true
repository.workspace = true
homepage.workspace = true
keywords.workspace = true
categories.workspace = true
rust-version.workspace = true
license = "BUSL-1.1"
description = "Pure Calculus of Constructions type theory - NO LEXICON"
readme = "README.md"

[dependencies]
logicaffeine-base = { version = "0.8.10", path = "../logicaffeine_base" }
# CRITICAL: NO LEXICON DEPENDENCY - Milner Invariant