carlosFerLo/

combinators-dataset

This dataset was built in the following repo. It contains pairs of type term, where terms are SK strings. The propose of this dataset is to train models to generate terms of types and prove theorems in combinatory logic.