Top Network Posts
- 19When should Emacs #'function syntax be used?
- 13Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs)
- 12How to create *local* labels/refs in LaTeX?
- 11What are the letters on the right side of auto-complete's popup?
- 11What does it mean for a set to have "structure"?
- 8How to alternate labels' styles in enumerated lists?
- 8How do I bulk rename albums in iTunes?
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.