Name		Name	Last commit message	Last commit date
Latest commit History 152 Commits
proofs		proofs
.gitignore		.gitignore
LICENCE.txt		LICENCE.txt
Makefile		Makefile
README		README
README.md		README.md
arsenic.ml		arsenic.ml
askZ3.ml		askZ3.ml
assign.ml		assign.ml
checkproof.ml		checkproof.ml
checkquery.ml		checkquery.ml
coherence.ml		coherence.ml
com.ml		com.ml
compiler.ml		compiler.ml
dotdiagram.ml		dotdiagram.ml
formula.ml		formula.ml
ftype.ml		ftype.ml
function.ml		function.ml
graph.ml		graph.ml
graph.mli		graph.mli
intfdesc.ml		intfdesc.ml
knot.ml		knot.ml
labmap.ml		labmap.ml
lace.ml		lace.ml
latex.ml		latex.ml
lexer.mll		lexer.mll
listutils.ml		listutils.ml
location.ml		location.ml
modality.ml		modality.ml
myMap.ml		myMap.ml
myMap.mli		myMap.mli
mySet.ml		mySet.ml
mySet.mli		mySet.mli
name.ml		name.ml
node.ml		node.ml
option.ml		option.ml
order.ml		order.ml
parser.mly		parser.mly
parseutils.ml		parseutils.ml
printer.ml		printer.ml
program.ml		program.ml
query.ml		query.ml
rely.ml		rely.ml
report.ml		report.ml
settings.ml		settings.ml
sourcepos.ml		sourcepos.ml
stability.ml		stability.ml
stitch.ml		stitch.ml
stringutils.ml		stringutils.ml
strongestpost.ml		strongestpost.ml
tester.ml		tester.ml
thread.ml		thread.ml
time.ml		time.ml
tolatex.ml		tolatex.ml
tuple.ml		tuple.ml
typecheck.ml		typecheck.ml
usage.ml		usage.ml
z3utils.ml		z3utils.ml

Repository files navigation

Arsenic

the proofchecker for New Lace