Skip to main content

ferriprove_kernel/
lib.rs

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