Dear FStar-experts,
will there be another occasion to learn Fstar interactively with you?
Something like the EUTypes meeting in Aarhus last year.
An in-depth session would be really beneficial (at least to me), despite
the good amount of papers, tutorials, wiki and zulip assistance!
Maybe Tactics benefit from some special treatment as well ;)
KR
Marc
--
Marc Gourjon
Security in Distributed Applications
Hamburg University of Technology (TUHH)
http://www.tuhh.de/sva
_______________________________________________
fstar-club mailing list
fstar-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/fstar-club