F* Pop-Up seminar, 9th Aug.

14 views

Skip to first unread message

Aseem Rastogi

unread,

Aug 8, 2022, 1:15:51 PM8/8/22

to fstar-mailing-list

Join us for the next F* Pop Up seminar on 9th August, 8:30am PDT where Alex Rozanov will give us a tour of an abstract algebra library in F*, along with some useful tips and tricks for working with F*.

Zoom link and other details: F* PoP Up Seminar (fstar-lang.org).

See you there!

Reply all

Reply to author

Forward

0 new messages