Programas por www.qedeq.org

Na tradição do programa de Hilbert criamos um correto formal (checkable por um verificador de prova) mas legível (como um livro comum de livros didáticos LaTeX) que é livremente acessível dentro da internet. A lógica e a teor