diff --git a/README.md b/README.md index 06d1f8df4..4e80189ee 100644 --- a/README.md +++ b/README.md @@ -410,6 +410,15 @@ For contributing, please see the following links: Kani +