The Rosette Language (made with Racket)

https://emina.github.io/rosette/

Synthesis and Verification for All - Emina Torlak: https://youtu.be/KpDyuMIb_E0

try it out with a template https://github.com/racket-templates/rosette-template
1 / 2
Post image
Post image

Comments

Posting Rules

  • Be respectful to others
  • No spam or self-promotion
  • Stay on topic
  • Follow Bluesky's terms of service