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