proof_system Directory Reference

Files
file	logderivative_library.hpp [code]
file	permutation_library.hpp [code]
file	power_polynomial.hpp [code]