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 6 repositories owned by Tej Chajed

coq-tricks

476
Stars
19
Forks
Watchers

Tricks you wish the Coq manual told you

verified publisher icon tchajed

goose

89
Stars
11
Forks
Watchers

Goose converts a small subset of Go to Coq

verified publisher icon tchajed

coq-record-update

40
Stars
14
Forks
Watchers

Library to create Coq record update functions

verified publisher icon tchajed

iris-simp-lang

44
Stars
4
Forks
Watchers

We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.

verified publisher icon tchajed

ltac2-tutorial

39
Stars
3
Forks
Watchers

Ltac2 tutorial

verified publisher icon tchajed

coq-tactical

15
Stars
2
Forks
Watchers

Library of Coq proof automation

verified publisher icon tchajed