From 1c2b37eb72fc40ed91eaf8c1b5d6af8689cbcbe0 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 4 Jul 2021 22:48:55 -0400 Subject: [PATCH] details --- doc/guide.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/guide.md b/doc/guide.md index 093ea0af..0583941a 100644 --- a/doc/guide.md +++ b/doc/guide.md @@ -66,7 +66,7 @@ We're going to use these libraries: One can use this library directly, but it means providing an 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`. This gives you a starting point to manipulate logic formulas and use SMT on them. @@ -464,4 +464,4 @@ TODO: extending terms TODO: basic custom theory (enums?) - +`