Conversation

Notices

1. Embed this notice
   Jan :rust: :ferris: (janriemer@floss.social)'s status on Monday, 16-Dec-2024 03:03:54 JST Jan :rust: :ferris:

   hax - A #Rust #verification tool

   https://github.com/hacspec/hax

   hax is a tool for high assurance translations that translates a large subset of Rust into formal languages such as F* or #Coq.

   1/2

   #Proof #Hax #FStar #ProgrammingLanguage #OCaml #RustLang

   • alcinnz repeated this.
   • Embed this notice
     Jan :rust: :ferris: (janriemer@floss.social)'s status on Monday, 16-Dec-2024 03:04:12 JST Jan :rust: :ferris:

     in reply to

     F* (pronounced F star)

     https://fstar-lang.org/

     "F* is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming. It combines the expressive power of dependent types with proof automation based on #SMT solving and tactic-based interactive theorem proving."

     2/2