F* PoP Up Seminar 12/06/2022 Nikhil Swamy on Effectively using Z3 from F*

[Aseem Rastogi]

Join us for the last seminar of this year where Nikhil Swamy will give a tour of F*’s encoding to Z3, and how to control and debug SMT proofs at scale.

 

F* book chapter on the same: Understanding how F* uses Z3 — Proof-Oriented Programming in F* documentation (fstar-lang.org)

 

Seminar date and time: 6^th December 2022, 830am PDT

 

Zoom link: https://cmu.zoom.us/j/97804414550?pwd=Q3NQWjRxNWwwYnVLSDVSMllmb01jQT09

 

See you there!

 

-Aseem.