As we know, we have "auto" (proof search) in Agda (Ctrl+c Ctrl+a in Emacs) as well as Idris as well as Coq, but when I was digging into F*'s Emacs mode, I failed to find a similar functionality.
Does F* have this feature? If so, how can I use it?
Asked
Active
Viewed 88 times
