nuprl/tag-sound Issues
write a blog post
Closed 1Related work: blame theorem
Closed 1supplement: aesthetics
ClosedAppendix TODOs
Closed 1get a diff, vs. 6.10.1
Closed 1typo: remove all the \rightarrow
Closed 1From models to implementations
Closed 1Add performance table
Closed 1Note type-based reasoning
Closed 1Revise Sec 2
Closed 1Add table with examples
ClosedRevise introduction
ClosedThe embeddings look too similar
Closed 1Misc. plot improvements
Closed