F* PoP Up Seminar: Guido Martínez on tactics & Meta-F*

[Nikhil Swamy]

Guido will present an introduction to tactics and metaprogramming. It should be a great way to start learning about how to do proofs more interactively and with ad hoc user-defined automation.

 

Hope to see you there!

Nik

 

 

 

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

 

http://fstar-lang.org/popup/seminar.html