search

Deducteam / lambdapi

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

Parse integers and negative floats for notations #1093

Closed gabrielhdt closed 5 months ago

gabrielhdt commented 5 months ago

Fixes issue #706.

fblanqui commented 5 months ago

for CI to work, you need to exclude your example in tests/export_raw_dk.sh