Articles liésLean 4Formal proof language and proof assistant used for Lean 4 statements and formal proofs in the benchmark.OpenFrontiers lance un corpus massif de problèmes de recherche ouverts et une référence pour la redécouverte scientifique