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.