1 2 3 4 5 6 7 8
//! Ferriprove Kernel //! //! Lean 4-compatible type checker kernel. //! This is a placeholder package to reserve the crate name. pub fn placeholder() { println!("ferriprove-kernel placeholder"); }