Code

Suggestions for User Manual#80

Code

Draft

Lachnitt wants to merge 11 commits intocvc5:maincvc5/ethos:mainfrom Lachnitt:userManualSuggestionsLachnitt/ethos:userManualSuggestionsCopy head branch name to clipboard

+14-11

Commits

Commits on Sep 24, 2024

• Fixed typo about hidden types (hopefully as intended)

  Lachnitt

  committed
  ddfe50a

• Add question about SMT-LIB 3 proposal discrepancy

  Lachnitt

  committed
  c80c2b8

• Fix potential typo

  Lachnitt

  committed
  5ea5dcb

• Changes two types in example cannot imagine how this types otherwise

  Lachnitt

  committed
  7e3d800

• a vs. an typo?

  Lachnitt

  committed
  d8df109

Commits on Sep 25, 2024

• fix typos

  Lachnitt

  committed
  b12daef

• fix chainable example

  Lachnitt

  committed
  9d9dffa

Commits on Oct 2, 2024

• Add more comments

  Lachnitt

  committed
  9083f73

Commits on Oct 3, 2024

• Update user_manual.md

  Lachnitt

  authored
  bd427a9

Commits on Oct 4, 2024

• Two fixes on premise lists

  Lachnitt

  committed
  5d5ddbb

• Merge branch 'userManualSuggestions' of https://github.com/Lachnitt/ethos into userManualSuggestions

  Lachnitt

  committed
  88e3149