Skip to content

Commit

Permalink
link in readme
Browse files Browse the repository at this point in the history
  • Loading branch information
@dtumad
dtumad committed Apr 8, 2024
1 parent 16ea370 commit 820d66c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
This library is deprecated in favor of a version compatible with Lean4. Please see the new repository at https://github.com/dtumad/VCV-io
This library is deprecated in favor of a version compatible with Lean4. Please see the [new repository here](https://github.com/dtumad/VCV-io)

Documentation and comments in this repository may be out of date with both the code here and with new versions of the library in Lean4.

0 comments on commit 820d66c

Please sign in to comment.