We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9bb8381 commit 30833c2Copy full SHA for 30833c2
README.md
@@ -4,7 +4,7 @@
4
<img src="doc/assets/smtml-logo.png" width=300 alt="Smt.ml logo"/>
5
</a>
6
<br />
7
- <strong>Smt.ml: A Multibackend frontend for SMT Solvers in OCaml</strong>
+ <strong>Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml</strong>
8
</div>
9
10
<div align="center">
0 commit comments