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 d9d09f1 commit ede9446Copy full SHA for ede9446
README.md
@@ -1,6 +1,6 @@
1
### **Equations** - a function definition plugin.
2
3
-[](https://github.com/mattam82/Coq-Equations/actions/workflows/build.yml)
+[](https://github.com/mattam82/Coq-Equations/actions/workflows/build.yml)
4
[](https://zenodo.org/record/3012649#.XcEydZNKjOQ)
5
[](https://coq.zulipchat.com/#narrow/stream/237659-Equations-devs.20.26.20users)
6
0 commit comments