We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3f248db commit ce055fdCopy full SHA for ce055fd
README.md
@@ -1,6 +1,6 @@
1
# Invariants
2
3
-[Documentation](https://lorenzoh.github.io/Invariants.jl)
+[Documentation](https://lorenzoh.github.io/Invariants.jl/dev/documents/README.md)
4
5
A Julia package for writing invariants for
6
0 commit comments