Appreciate the suggestion.
In VSCode, after running
coq_makefile -f _CoqProject *.v -o Makefile
make
produces Basics.vo and will print out any references to Basics.v in Induction.v.
Note the bottom right output.
But when I try to interpret lines of Induction.v I get Cannot find a physical path bound to logical path Basics with prefix lf.
