Docs.rs
About
Badges
Builds
Metadata
Shorthand URLs
Releases
Releases by Stars
Recent Build Failures
Build Failures by Stars
Release Activity
Build Queue
Rust
The Book
Standard Library API Reference
Rust by Example
Rust Cookbook
Crates.io
The Cargo Guide
qbar-0.0.0
qbar 0.0.0
the rational proof assistant
Links
0
0
0
Crates.io
Source
More information
Authors
Brandon H. Gomes
Dependencies
terminal ^0.2.1
normal
Versions
0.0.0
Platform
x86_64-unknown-linux-gnu
i686-pc-windows-msvc
x86_64-pc-windows-msvc
x86_64-apple-darwin
i686-unknown-linux-gnu
Feature flags
☰
Crate qbar
Version 0.0.0
See all qbar's items
?
[
−
]
Crate
qbar