m3mpp

I'm very interested in that field, unfortunately, the math part pretty much escapes me. The long term goal is to be able to use Coq or Isabelle to prove some small piece of software.

Experience is a nice thing, most of the time. We can see through the BS and concentrate on important things to make up for a slower brain, less stamina and decreasing memory, to a point where I think I am as productive,…