A apostila de demonstrações e provas foi desenvolvida por Gabriela Taniguchi, presidente do Time Venn em 2023 e atual estudante de Ciência da Computação na UNICAMP. O material foi estruturado para desmistificar o rigor matemático e lógico, oferecendo uma base sólida para estudantes que desejam compreender a fundo as estruturas de argumentação e validação exigidas em olimpíadas científicas e no ambiente acadêmico.