Hello from New Zealand

Stream: new members

[Steve Reeves]

Kia ora Lean-ers. I'm a new member, currently a Prof at the University of Waikato, and getting into using Lean to formalize a logic for the specification language Z that I did work on many years ago.