simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

details

Browse source
This commit is contained in:
Simon Cruanes 2021-07-04 22:48:55 -04:00
parent ceb0b09426
commit 1c2b37eb72
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
doc/guide.md
View file

@ -66,7 +66,7 @@ We're going to use these libraries:
One can use this library directly, but it means providing an One can use this library directly, but it means providing an
implementation to each functor, which can be sometimes intricate. implementation to each functor, which can be sometimes intricate.
- `sidekick_base`: a fixed definition of terms, types, statements, etc. that - `sidekick-base`: a fixed definition of terms, types, statements, etc. that
is compatible with `sidekick`. is compatible with `sidekick`.
This gives you a starting point to manipulate logic formulas and This gives you a starting point to manipulate logic formulas and
use SMT on them. use SMT on them.
@ -464,4 +464,4 @@ TODO: extending terms
TODO: basic custom theory (enums?) TODO: basic custom theory (enums?)
`