w
Repositories
Select a repository to view its commits, contributors, and more.public
slides
JavaScript
1
0
0
Updated 4 years ago
public
mypyvy-tool-paper
A tool paper about mypyvy
TeX
1
0
0
Updated 5 years ago
public
1010js
JavaScript
0
0
0
Updated 9 years ago
public
jrwlib
Coq
0
0
0
Updated 9 years ago
public
racket-z3-example
Racket
0
0
0
Updated 6 years ago
public
chess
A computer chess collaboration.
Java
0
0
0
Updated 6 years ago
public
music
LilyPond
0
0
0
Updated 8 years ago
public
mechanized-metatheory
Coq
0
0
0
Updated 9 years ago
public
crossword
JavaScript
0
0
0
Updated 7 years ago
public
linear-stlc-handout
handout for reading group presentation on linear lambda calculus
TeX
0
0
0
Updated 7 years ago
public
impy
Tool support for Dafny-TLA
0
0
0
Updated 6 years ago
public
thesis
thesis
TeX
0
0
0
Updated 3 years ago