diff --git a/README.md b/README.md index 895654c..1b856df 100644 --- a/README.md +++ b/README.md @@ -77,11 +77,13 @@ Altogether, *Sole.jl* makes for a powerful tool built with an eye to **formal co

--> + ## About