Loading...
Machine Learning for Theorem Proving in Lean
Avg 232.8 stars per repo.
5 new projects with 78 stars.
384 followers.