High-level part of fast fib example; it's using the new for combinator and it's verified against the recursive fib implementation
High-level part of fast fib example; it's using the new for combinator and it's verified against the recursive fib implementation

A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar