pawer_core
| Crates.io | pawer_core |
| lib.rs | pawer_core |
| version | 0.1.0 |
| source | src |
| created_at | 2024-10-08 08:51:19.910813 |
| updated_at | 2024-10-08 08:51:19.910813 |
| description | A rust library to doc Calculus of Construction |
| homepage | |
| repository | https://gitlab.aliens-lyon.fr/pawer/pawer_core |
| max_upload_size | |
| id | 1400903 |
| size | 18,267 |
Cypooos (Cypooos)
documentation
README
pawer_core
A rust library to work with the Calculus of Construction. Made for the PAWER (Proof Assistant Web Embeded in Rust) project.
Usage
Be sure to have cargo installed !
Documentation
You can generate the documentation of the library by using the make doc command (it's an alias for cargo doc --lib --open).
Authors and acknowledgment
License
MIT ?
Project status
In progress.