What are the current conjectures, thoughts about the consistency/semantics of F*?
Could you point me to a paper I should read? Thanks, Bas _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club
