Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
giopaglia authored Feb 25, 2024
1 parent 026815f commit 89564d7
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -77,11 +77,13 @@ Altogether, *Sole.jl* makes for a powerful tool built with an eye to **formal co
</p>
-->

<!--
## Want to contribute?
Read these first:
* [Blue Code Style](https://github.com/invenia/BlueStyle);
* [ColPrac: Contributor's Guide on Collaborative Practices for Community Packages](https://github.com/SciML/ColPrac).
-->

## About

Expand Down

0 comments on commit 89564d7

Please sign in to comment.