{"data":{"full_name":"Eleanor-H/MUSTARD","name":"MUSTARD","description":"Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data","stars":42.0,"forks":2.0,"language":"C++","license":null,"archived":0.0,"subcategory":"math-reasoning-datasets","last_pushed_at":"2024-05-29T10:41:50+00:00","pypi_package":null,"npm_package":null,"downloads_monthly":0.0,"dependency_count":0.0,"commits_30d":null,"reverse_dep_count":0.0,"maintenance_score":0.0,"adoption_score":8.0,"maturity_score":8.0,"community_score":5.0,"quality_score":21.0,"quality_tier":"experimental","risk_flags":"['no_license', 'stale_6m', 'no_package', 'no_dependents']"},"meta":{"timestamp":"2026-04-06T00:41:52.826668+00:00"}}