home.social

#creusot — Public Fediverse posts

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

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

    F* (fstar) Interactive Tutorial:

    fstar-lang.org/tutorial/

    I'm only like 10% into the tutorial, but this language is CRAZY (fun)! :awesome: 😄

    I try to learn the fundamentals of it, so I can use the backend of it in #Aeneas... so I can ultimately formally verify my #Rust crate (former attempts with #Creusot and #Kani failed for me).

    Aeneas:
    github.com/AeneasVerif/aeneas

    See part two of toot for a toy example of proving function equivalence

    1/2

    #FormalVerification #FunctionalProgramming #RustLang

    #aeneas #rust #creusot #kani #formalverification #functionalprogramming