Jason Gross

icon indicating a website link http://people.csail.mit.edu/jgross/ icon indicating an email [email protected]

icon company Machine Intelligence Research Institute icon location Berkeley, California, United States

Results 2 repositories owned by Jason Gross

coq-tools

36
Stars
9
Forks
Watchers

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

verified publisher icon JasonGross

lob

16
Stars
2
Forks
Watchers

Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/)

verified publisher icon JasonGross