Tej Chajed

icon indicating a website link https://www.chajed.io icon indicating an email [email protected]

icon company UW-Madison icon location Madison, WI icon location Professor at UW-Madison. I write software and prove that it does what it's supposed to.

Results 41 issues of Tej Chajed

Cannot process just comments

VsCoq seems to never process just a comment. I think this is a bug. If you're going through a file with large comments (e.g., in class), then it's possible to...