Isabel

kaggle2023-02-19 更新2024-03-08 收录

下载链接：

https://www.kaggle.com/datasets/luigivita/isabel

下载链接

链接失效反馈

官方服务：

资源简介：

创建时间：

2023-02-19

Isabel Marant

Diagram with review-data of Isabel Marant, by Reviews International.

norskeanmeldelser.no40

PeterHolderrieth/Isabelle

--- dataset_info: features: - name: theorem_name dtype: string - name: theorem dtype: string - name: theorem_type dtype: string splits: - name: train num_bytes: 3255 nu

Hugging Face2023-08-25 更新70

Santa Isabel, PR

Timeseries data from \'Santa Isabel, PR\' (noaa_nos_co_ops_9756639)cdm_data_type = TimeSeriesVARIABLES:time (seconds since 1970-01-01T00:00:00Z)latitude (degrees_north)longitude (degrees_east)z (Altit

ERDDAP30

Isabelle/HOL

Isabelle/HOL是一个交互式的定理证明工具，基于高阶逻辑（HOL）。它提供了一个形式化的框架，用于验证数学定理和计算机程序的正确性。数据集包括大量的定理库、证明脚本和示例，涵盖了从基础数学到复杂计算机科学领域的广泛应用。

isabelle.in.tum.de580

Isabelle eettafel

Eettafel in kleurstelling wit. Diverse maten, één prijs. Bijvoorbeeld 180/200/220/240cm. Uitvoering en beschikbaarheid kan per vestiging verschillen.