Skip to content

Commit

Permalink
Merge pull request #853 from hacspec/mention-playground
Browse files Browse the repository at this point in the history
feat(README): link playground
  • Loading branch information
W95Psp authored Aug 14, 2024
2 parents ff14107 + 54814e5 commit 2a17a0b
Showing 1 changed file with 8 additions and 1 deletion.
9 changes: 8 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,8 @@
<a href="https://hacspec.org/book">๐Ÿ“– Book</a> |
<a href="https://hacspec.org/blog">๐Ÿ“ Blog</a> |
<a href="https://hacspec.zulipchat.com/">๐Ÿ’ฌ Zulip</a> |
<a href="https://hacspec.org/hax/">๐Ÿ› ๏ธ Internal docs</a>
<a href="https://hacspec.org/hax/">๐Ÿ› ๏ธ Internal docs</a> |
<a href="https://hax-playground.cryspen.com/">๐Ÿ› Playground</a>
</p>

# Hax
Expand All @@ -24,6 +25,12 @@ standard library, to write succinct, executable, and verifiable specifications i
Rust.
These specifications can be translated into formal languages with hax.

<p align="center">
<a href="https://hax-playground.cryspen.com/#fstar+tc/latest-main/gist=5252f86237adbca7fdeb7a8fea0b1648">
Try out hax online now!
</a>
</p>

## Learn more

Here are some resources for learning more about hax:
Expand Down

0 comments on commit 2a17a0b

Please sign in to comment.