a coq session for use with vs code during teaching sessions