Artigos relacionados

Lean 4

Formal proof language and proof assistant used for Lean 4 statements and formal proofs in the benchmark.

• OpenFrontiers Lança um Corpus Maciço de Problemas de Pesquisa Abertos e um Benchmark para a Redescoberta Científica