GasStationManager/CodeProofBenchmark

该数据集包含一个代码与证明问题的初始基准集，共有24个问题，主要涉及简单的非递归函数和自然数及列表上的简单递归。每个问题陈述包括自然语言描述、函数签名和最多两个定理陈述的形式规范。数据集目前仅支持Lean语言，但欢迎翻译成其他语言。数据集文件包括`easy.jsonl`和`EasyBenchmark.lean`，分别包含问题陈述和解决方案。

This dataset contains an initial benchmark set of code-with-proof problems with solutions. There are 24 problems, mostly simple non-recursive functions and simple recursion on natural numbers and lists. Each problem statement consists of a natural language description, a function signature, and the formal specification consisting of up to two theorem statements. Currently in Lean only; translation to other languages is welcome. The dataset includes two files: easy.jsonl containing the problem statements, and EasyBenchmark.lean containing the solutions, including function implementations and proofs, which requires Mathlib.