home.social
Sign in Create account

#fstar — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #fstar, aggregated by home.social.

  1. Jan :rust: :ferris: @[email protected] ·

    hax - A #Rust #verification tool

    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

    #rust #verification #coq #proof #hax #fstar
  2. Jan :rust: :ferris: @[email protected] ·

    hax - A #Rust #verification tool

    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

    #rust #verification #coq #proof #hax #fstar
  3. Jan :rust: :ferris: @[email protected] ·

    hax - A #Rust #verification tool

    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

    #rust #verification #coq #proof #hax #fstar
  4. Jan :rust: :ferris: @[email protected] ·

    hax - A #Rust #verification tool

    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

    #rustlang #ocaml #programminglanguage #fstar #hax #proof
  5. Jan :rust: :ferris: @[email protected] ·

    hax - A #Rust #verification tool

    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

    #rust #verification #coq #proof #hax #fstar