Crates.io | qbar |
lib.rs | qbar |
version | 0.0.0 |
source | src |
created_at | 2020-09-20 20:18:39.770652 |
updated_at | 2020-09-20 20:18:39.770652 |
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 |