{"id":35327371,"url":"https://github.com/coq-community/lemma-overloading","last_synced_at":"2026-01-05T18:01:47.884Z","repository":null,"keywords":[],"created_at":"2025-12-31T06:00:22.271Z","updated_at":"2025-12-31T06:00:22.271Z","avatar_url":null,"language":null,"funding_links":[],"categories":["Resources"],"sub_categories":["Tutorials and Hints"],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcoq-community%2Flemma-overloading","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcoq-community%2Flemma-overloading","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcoq-community%2Flemma-overloading/lists"}