add export to SOL - Githubissues

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

Other

265 stars 35 forks source link

add export to SOL #995

Open fblanqui opened 1 year ago

fblanqui commented 1 year ago

TODO:

[X] add axioms for AC symbols
[ ] update doc
[ ] start function symbol names by a lowercase letter
[ ] replace unicode characters or special characters by their code
[ ] rename ids of the form x or M