qbar

Crates.ioqbar
lib.rsqbar
version0.0.0
sourcesrc
created_at2020-09-20 20:18:39.770652
updated_at2020-09-20 20:18:39.770652
descriptionthe rational proof assistant
homepagehttps://github.com/qdeduction/qbar
repositoryhttps://github.com/qdeduction/qbar
max_upload_size
id290935
size11,121
Brandon H. Gomes (bhgomes)

documentation

https://docs.rs/qbar

README

qbar

Commit count: 121

cargo fmt