Thanks for the PR, seems useful enough to have in the lib.
Best,
Antoine
On 2017-07-05 17:30, Adam Langley via fstar-club wrote:
On Thu, Jun 1, 2017 at 7:37 PM, Adam Langley <alangley+fs...@gmail.com>
wrote:
I think that, given your pointers to the lemmas, the issues that I
raised
can be fairly quickly resolved. Thank you.
Just to follow up on this for anyone who comes across it in the
archives, poor lemmas for andLimit and orLimit are in
https://github.com/FStarLang/FStar/pull/1109.
Cheers
AGL
_______________________________________________
fstar-club mailing list
fstar-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/fstar-club
_______________________________________________
fstar-club mailing list
fstar-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/fstar-club
