1 unstable release
0.1.0 | Oct 8, 2024 |
---|
#376 in Math
172 downloads per month
17KB
403 lines
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.
Dependencies
~2.1–2.8MB
~57K SLoC