search

Deducteam / Dedukti

Implementation of the λΠ-calculus modulo rewriting
https://deducteam.github.io
Other
200 stars 22 forks source link

Fix #319 #323

Closed GuillaumeGen closed 5 months ago

fblanqui commented 8 months ago

Is it fixing #295 too?

GuillaumeGen commented 8 months ago

Clearly not, but I can fix it too. Commit tonight.

GuillaumeGen commented 8 months ago

Done in #325 . Since this change is a (very little) bit more questionable than the ones for #318 and #319, I opened a separate PR to discuss it. Once it has been decided (let's hope very soon), I can group those three small changes in one pull request.