Top Network Posts
- 19When should Emacs #'function syntax be used?
- 14How to create *local* labels/refs in LaTeX?
- 13Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs)
- 13What does it mean for a set to have "structure"?
- 11What are the letters on the right side of auto-complete's popup?
- 8How to alternate labels' styles in enumerated lists?
- 8Is there a standard func that takes a dict and a list of keys and returns the list of corresponding vals?
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.