coq for automata
progress on proving the equivalence between to defintions of similarity between two relations
Merge remote-tracking branch 'origin/progfun'
Merge branch 'master' into imp
imp cont
a small step on proving ceval_deterministic
Merge branch 'imp'
Merge branch 'progfun'
ceval_deterministic proved!
finish imp
Merge branch 'progfun'
Merge branch 'progfun'
finished programming assignment week 2
week4 init
finished assignment: huffman encoding