# `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.