Skip to content

Commit

Permalink
updated readme
Browse files Browse the repository at this point in the history
  • Loading branch information
watakandai committed Nov 13, 2023
1 parent 22b4fd8 commit 4a0dd43
Showing 1 changed file with 10 additions and 0 deletions.
10 changes: 10 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,13 @@

<p align="center">
<img src="https://github.com/watakandai/specless/assets/11141442/315fc857-aa58-46a3-89a9-bdbbf7c68fcf" width="200" height="200">
</p>


# 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**: [email protected]:watakandai/specless.git

0 comments on commit 4a0dd43

Please sign in to comment.