A new beginning

Hello,
world!

Welcome to Neoprove. This is the beginning of something good.