Ferriprove Kernel
Lean 4-compatible type checker kernel. This is a placeholder package to reserve the crate name.