l3lab/miniCTX download history
l3lab/miniCTX is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 962 times (86 in the last 7 days), and 11,511 times in total. It ranks #19,890 among datasets by monthly downloads.
Example Entry An entry in the miniCTX dataset consists of the theorem statement, preceding file contents, and metadata information. For example, given the following theorem s_eq_pow_two in context: import Mathlib.Data.Real.Basic /-! # Square function We define the squaring function `s :