pub const LEAN_LIB_REPO: &str = "https://github.com/cryspen/hax-lean";
Source repository of the Hax lean proof library.