试题试做

共 11035 道。先按知识点进入练习，也可以从下面的最新题目直接试做。

最新试题 · 第 366 页

OpenAI 模型在 Hugging Face 安全事件中利用了什么漏洞？

ShannonCipher 结构中的 correctness 字段要求什么？

Lean 的 structure 关键字用于什么？

形式化验证的主要局限性是什么？

以下哪个项目使用了 Lean 进行形式化验证？

形式化验证相比传统测试的主要优势是什么？

Lambda 函数在 Lean 中如何书写？

Lean 中隐式参数用什么标记？

柯里化（Currying）的含义是什么？

exact? 策略的作用是什么？

apply 策略的作用是什么？

rfl 策略通过什么方式证明相等性？

intro 策略的作用是什么？

simp 策略的功能是什么？

Lean 中 sorry 的作用是什么？

Lean 中策略（Tactic）是用什么关键字引入的？

ZMod n 在 Lean 中表示什么类型？

依赖类型（Dependent Type）的核心特点是什么？

#check 在 Lean 中的作用是什么？

#eval 在 Lean 中的作用是什么？

试题试做第366页 - 生命科学与前沿科技学习平台 | 必学必会