Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Repository files navigation

mathlib-style-bench

we will create a benchmark for evaluating high quality mathlib style lean4 code!

About

we will create a benchmark for evaluating high quality mathlib style lean4 code!

Apache-2.0 license

Custom properties

0 stars

0 watching

Report repository

Releases

Packages

Contributors