#calculus #construction #assistant #proof #docs #web #pawer

pawer_core

A rust library to doc Calculus of Construction

1 unstable release

0.1.0 Oct 8, 2024

#376 in Math

Download history 151/week @ 2024-10-05 21/week @ 2024-10-12

172 downloads per month

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.1–2.8MB
~57K SLoC