foliage 0.1.0

Abstract syntax tree for first-order logic with integer arithmetics
Documentation