Merge pull request #1261 from cryspen/franziskus/landing-page-rocq

Update website landing page
cryspen · Jan 21, 2025 · 10bc34d · 10bc34d
2 parents 272e908 + 3cf1472
commit 10bc34d
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/docs/index.md b/docs/index.md
@@ -1,6 +1,4 @@
 # Welcome to hax
 
-hax is a tool for high assurance translations that translates a large subset of
-Rust into formal languages such as [F\*](https://www.fstar-lang.org/) or [Coq](https://coq.inria.fr/).
-This extends the scope of the hacspec project, which was previously a DSL embedded in Rust,
-to a usable tool for verifying Rust programs.
+hax is a tool for high assurance translations of a large subset of
+Rust into formal languages such as [F\*](https://www.fstar-lang.org/) or [Rocq](https://rocq-prover.org/).