Order by Relevance Name Ascending Name Descending Last Modified Go

1 dataset found

Filter Results

• HOL Light and Flyspeck corpora

  The dataset consists of the core HOL Light corpus and the Flyspeck corpus, with millions of nodes representing atomic inferences.

  • Dataset
  • JSON