Tips

This is a bunch of tips published here till I find them a new home.

• Using Org for Ledger Reports and Budget
• Documenting Coq Developments using Org
• Executing Coq from Org files
• Mastodon Backup and Search