Repositório para registrar progresso no NNG (Natural Number Game) e para uso do Lean (Proof Assistent)