tnt-lib 0.1.4

A Rust implementation of many certificates about Integers
1
2
3
4
5
6
7

#[cxx::bridge]
pub mod ffi {
    unsafe extern "C++" {
        include!("tnt-lib/include/aks_theorem.h");
        pub fn aks_theorem(n : u32, r : u32, s : u32) -> bool;
    }
}