Hello

Testing Jekyll site.

Posts

Personal website of Walter Moreira. Mathematician and Software Engineer, specializing in formal methods and functional programming.