From 3cf147296bc734391f088d9d738eb124184863e7 Mon Sep 17 00:00:00 2001 From: Franziskus Kiefer Date: Tue, 21 Jan 2025 10:09:20 +0100 Subject: [PATCH] Update website landing page --- docs/index.md | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/docs/index.md b/docs/index.md index 9bde1bbaa..824e07f98 100644 --- 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/).