Scott N. Walck

icon indicating a website link quantum.lvc.edu/walck icon indicating an email [email protected]

icon company Lebanon Valley College icon location Annville, Pennsylvania, USA icon location Professor of Physics at Lebanon Valley College

Results 2 issues of Scott N. Walck

Make Arrow in direction (V3 0 0 (-1)) display correctly.

1 comment

Proof General gets into a state where it doesn't know what + is.

11 comment

Hi folks, When using Coq 8.19.1 with Proof General 4.6-git and Emacs 29.3, I use C-c RET (proof-goto-point) to navigate throughout a .v file. When I've been editing awesome1.v and...