Dear Jonathan, > From: Jonathan Protzenko <pr...@microsoft.com> > Date: Wed, 3 Jul 2019 05:30:37 +0000 > > Hello Paul and FĂ©lix, > > Thanks for the bug report -- I've filed > https://github.com/FStarLang/FStar/issues/1803 > > Out of curiosity, what was your initial interest in F*? Are you interested in > proving > some numerical routines? > > Cheers, > > ~ jonathan
thank you. We try to prove some routines from the GNU MPFR library, following work started by Jianyang Pan last year, with the help of Karthik. Best regards, Paul Zimmermann _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club