Adding dependencies/headers #3
Description
The headers necessary to compile the problem statements are not given in the dataset.
I presume they are the same as in https://huggingface.co/datasets/cat-searcher/minif2f-lean4?row=0 ?
{{ message }}
The headers necessary to compile the problem statements are not given in the dataset.
I presume they are the same as in https://huggingface.co/datasets/cat-searcher/minif2f-lean4?row=0 ?