diff --git a/README.md b/README.md index d6f72ef..c61031d 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,13 @@ + +

+ +

+ + # SpecLeSS (SPECification Learning and Strategy Synthesis) [![Documentation Status](https://readthedocs.org/projects/specless/badge/?version=latest)](https://specless.readthedocs.io/en/latest/?badge=latest) + +- **Websites** https://watakandai.github.io/specless/ and https://specless.readthedocs.io/en/latest/ +- **Source code**: git@github.com:watakandai/specless.git +