qbar
| Crates.io | qbar |
| lib.rs | qbar |
| version | 0.0.0 |
| created_at | 2020-09-20 20:18:39.770652+00 |
| updated_at | 2020-09-20 20:18:39.770652+00 |
| description | the rational proof assistant |
| homepage | https://github.com/qdeduction/qbar |
| repository | https://github.com/qdeduction/qbar |
| max_upload_size | |
| id | 290935 |
| size | 11,121 |
Brandon H. Gomes (bhgomes)
documentation
https://docs.rs/qbar