lean-eval submissions

Submissions for the Lean AI formalization leaderboard.

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
bvp_comparison		bvp_comparison
irreducible_nonnegative_matrix_has_positive_eigenvector_at_spectralRadius		irreducible_nonnegative_matrix_has_positive_eigenvector_at_spectralRadius
mem_convexHull_finset_extremePoints_of_mem_compact_convex		mem_convexHull_finset_extremePoints_of_mem_compact_convex
sturm_separation		sturm_separation
two_plus_two		two_plus_two
README.md		README.md

Provide feedback