lemma/

stdlib.rs

//! Embedded SI stdlib loaded at compile time from [`SI_LEMMA`].
pub const SI_LEMMA: &str = include_str!("lemma/si.lemma.std");