Skip to content

add export to SOL#995

Open
fblanqui wants to merge 6 commits intoDeducteam:masterfrom
fblanqui:sol
Open

add export to SOL#995
fblanqui wants to merge 6 commits intoDeducteam:masterfrom
fblanqui:sol

Conversation

@fblanqui
Copy link
Member

@fblanqui fblanqui commented Jun 9, 2023

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

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant