I've always used writing to sketch out informal specs or high-level architectural things. I've always heard about people writing code by hand on paper. I gave it more of a shot after reading, Algebra Driven Design. It's a powerful technique.
While I often prefer the interactive feedback of a proof assistant or model checker I find spending time away from the screen and thinking on paper to be very relaxing and helps me with, "connecting the dots," so to speak. I tend to get a very narrow focus on the problem at hand when I'm at the computer.
I too hope to one day be able to write code by hand on my RM2. I have hacked a basic editor into an RM1 but it's slow going.
While I often prefer the interactive feedback of a proof assistant or model checker I find spending time away from the screen and thinking on paper to be very relaxing and helps me with, "connecting the dots," so to speak. I tend to get a very narrow focus on the problem at hand when I'm at the computer.
I too hope to one day be able to write code by hand on my RM2. I have hacked a basic editor into an RM1 but it's slow going.