add export to SOL #995

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

fblanqui wants to merge 6 commits into Deducteam:master from fblanqui:sol

Member

fblanqui commented Jun 9, 2023 •

edited

Loading

TODO:

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

fblanqui added 6 commits

June 8, 2023 15:44


          add export to SOL

50c5d37


          Merge remote-tracking branch 'lp/master' into sol


          add axioms

dcadc1e


          Merge remote-tracking branch 'lp/master' into sol

e5339cb


          add doc

29d0bb4


          add comment on allowed identifiers in SOL

4176ae5

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet