1 unstable release

0.1.0 Oct 8, 2024

#528 in Math

MIT/Apache

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–2.8MB
~56K SLoC