diff --git a/README.md b/README.md index 17fb1ab..ead6512 100644 --- a/README.md +++ b/README.md @@ -85,6 +85,8 @@ Using styling files from [oysteikt/texmf](https://gitlab.stud.idi.ntnu.no/oystei - [X] Finished + **NOTE: there are some bugs when converting boolean algebra AND operations to PL/S** + #### Chapter 4. Induction Automates proof by induction by running the input through https://wolframalpha.com/