PeanoForte 🎹

A toy proof verifier for Peano-arithmetic written in C.

This verifier is built upon the idea of the Peano axioms.

Build dependencies

The parser is built using flex and GNU bison which need to be installed.

Name		Name	Last commit message	Last commit date
Latest commit History 92 Commits
editor/vim		editor/vim
examples		examples
.clang-format		.clang-format
.clangd		.clangd
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
ast.c		ast.c
ast.h		ast.h
lexer.l		lexer.l
main.c		main.c
parser.y		parser.y
print.c		print.c
print.h		print.h