1 2 3 4 5 6
//! `certeza` has moved to `aprender-verify`. //! //! This crate re-exports `aprender-verify` for backward compatibility. //! New code should depend on `aprender-verify` directly. pub use certeza::*;