qbar 0.0.0

the rational proof assistant
Documentation
1
2
3
fn main() {
    println!("This project is currently in development.\n\rThe purpose of this crate is to reserve the package name.\n\rIf you believe that this is a mistake email Brandon H. Gomes at bhgomes@pm.me");
}