search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
265 stars 35 forks source link

Missing dependencies in README #1046

Closed TheoWinterhalter closed 5 months ago

TheoWinterhalter commented 5 months ago

The README doesn't properly list all required dependencies in the "compile from sources" section. It seems to be missing dream and lwt_ppx.

fblanqui commented 5 months ago

Thanks Theo!