com.codecommit:skolems_2.11 (maven): skolems
Keywords: encoding|existential|rank-n|scala|types|universal