Name		Name	Last commit message	Last commit date
Latest commit History 122 Commits
temp		temp
test		test
.clang-format		.clang-format
.gitignore		.gitignore
0pch.hpp		0pch.hpp
1compatible.hpp		1compatible.hpp
LICENSE		LICENSE
README.md		README.md
barret.hpp		barret.hpp
debug.hpp		debug.hpp
intm.hpp		intm.hpp
intm_alpha.hpp		intm_alpha.hpp
intm_pair.hpp		intm_pair.hpp
lambda.hpp		lambda.hpp
lct_subtree.hpp		lct_subtree.hpp
makefile		makefile
math_util.hpp		math_util.hpp
parser.py		parser.py
predef.hpp		predef.hpp
proof.hpp		proof.hpp
scanner.hpp		scanner.hpp
segment_tree.hpp		segment_tree.hpp
shorten.py		shorten.py
string.hpp		string.hpp
util.hpp		util.hpp