In the solution to fibonacci_greater_than_arg in the tutorial http://fstar-lang.org/tutorial it looks like
For fibonacci (n-1) we use the property forall x, fibonacci x > 1 should be changed to For fibonacci (n-2) we use the property forall x, fibonacci x > 1 Nice tutorial by the way. -Michael _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club