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