Есть ли в F* функция поиска для проверки?

Как мы знаем, у нас есть "auto" (пробный поиск) в Agda (Ctrl+c Ctrl+a в Emacs), а также в Idris и Coq, но когда я копался в режиме Fma's Emacs, мне не удалось найти аналогичный функционал.

Есть ли у F* эта функция? Если так, как я могу использовать это?