Name		Name	Last commit message	Last commit date
Latest commit History 249 Commits
examples		examples
mpc @ 81abc6f		mpc @ 81abc6f
src		src
stdlib		stdlib
.gitignore		.gitignore
.gitmodules		.gitmodules
.travis-ci.sh		.travis-ci.sh
.travis.yml		.travis.yml
Cargo.toml		Cargo.toml
Makefile		Makefile
README.md		README.md
arvo-mode.el		arvo-mode.el
context.c		context.c
context.h		context.h
dbg.c		dbg.c
dbg.h		dbg.h
get-type-of-hole.sh		get-type-of-hole.sh
main.c		main.c
memtest.sh		memtest.sh
normalize.c		normalize.c
normalize.h		normalize.h
osx.supp		osx.supp
parser.c		parser.c
parser.h		parser.h
printing.c		printing.c
printing.h		printing.h
telescope.c		telescope.c
telescope.h		telescope.h
term.c		term.c
term.h		term.h
test.sh		test.sh
typecheck.c		typecheck.c
typecheck.h		typecheck.h
typing_context.c		typing_context.c
typing_context.h		typing_context.h
vernac.c		vernac.c
vernac.h		vernac.h

Repository files navigation

Arvo

Arvo is a proof assistant from the PLSE lab.

About

A proof assistant.

Report repository

Releases

No releases published

Packages

No packages published

Languages

C 82.9%
Rust 10.8%
Emacs Lisp 3.7%
Other 2.6%