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 42fca0e commit 6373ee9Copy full SHA for 6373ee9
README.md
@@ -18,7 +18,9 @@
18
•
19
<a href="#quick-start"><strong>Quick Start</strong></a>
20
21
- <a href="https://github.com/codervisor/lean-spec/tree/main/specs"><strong>Live Examples</strong></a>
+ <a href="https://web.lean-spec.dev"><strong>Live Examples</strong></a>
22
+ •
23
+ <a href="https://github.com/codervisor/lean-spec/blob/main/CHANGELOG.md"><strong>Changelog</strong></a>
24
</p>
25
26
---
0 commit comments