pkuAI4M/informal_mathlib_watch
收藏官方服务：
资源简介：
--- dataset_info: features: - name: header dtype: string - name: informal_statement dtype: string - name: formal_statement dtype: string splits: - name: train num_bytes: 61069.31191808764 num_examples: 100 download_size: 51487 dataset_size: 61069.31191808764 configs: - config_name: default data_files: - split: train path: data/train-* ---
提供机构：
pkuAI4M
