{"id":16313810,"url":"https://github.com/yurug/coqepit","last_synced_at":"2025-04-08T07:32:00.241Z","repository":{"id":32031742,"uuid":"35603085","full_name":"yurug/coqepit","owner":"yurug","description":"Your research in Coq","archived":false,"fork":false,"pushed_at":"2015-06-03T13:51:18.000Z","size":5756,"stargazers_count":3,"open_issues_count":0,"forks_count":3,"subscribers_count":31,"default_branch":"master","last_synced_at":"2025-03-23T07:41:25.926Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Coq","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/yurug.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2015-05-14T09:33:36.000Z","updated_at":"2017-06-29T10:03:34.000Z","dependencies_parsed_at":"2022-08-24T14:22:55.281Z","dependency_job_id":null,"html_url":"https://github.com/yurug/coqepit","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yurug%2Fcoqepit","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yurug%2Fcoqepit/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yurug%2Fcoqepit/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yurug%2Fcoqepit/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/yurug","download_url":"https://codeload.github.com/yurug/coqepit/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247796222,"owners_count":20997532,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-10-10T21:52:24.593Z","updated_at":"2025-04-08T07:31:55.811Z","avatar_url":"https://github.com/yurug.png","language":"Coq","funding_links":[],"categories":[],"sub_categories":[],"readme":"# EPIT2015: Your research in Coq\n\nCoordinator: Pierre-Marie Pédrot\n\n## Description\n\nDuring the last session of the school, participants will work on the\nmechanization of their specific research domain with the help of the\npedagogical team of the school. A single session of 3 hours is for\nsure not enough to mechanize an entire research domain! The purpose of\nthis session (and actually of the entire school) is to get you started\nto work with Coq on a first small project of your own to be continued\nafter the school. To maximise the odds to achieve this objective, we\nwant to help by advising you as early as possible about how your\nproblem should probably be mechanized in Coq. For this reason, we ask\nyou to prepare your project using the instructions of the next section.\n\n## Instructions\n\nIf for some reasons, you cannot follow these instructions, look at\nthe email-based instructions instead (see the next section). If you\nneed help, please contact `yrg@pps.univ-paris-diderot.fr`.\n\n- Create an account on [GitHub](http://github.com) and send your\n  login by email to `yrg@pps.univ-paris-diderot.fr` so that we\n  can give you the permissions to push on the repository.\n\n- Make sure the `git` control version system is installed on your system.\n\n- In a terminal, clone the repository on your local file system:\n\n```\ngit clone git@github.com:yurug/coqepit.git\n```\n\nThis will create a folder named `coqepit`.\n\n- In a terminal, create a subfolder for your project in the folder `coqepit/projects`:\n\n```\nmkdir projects/your-name\n```\n\n- In that folder, create a file named `README.md` describing a proof\n  you know well and that you want to mechanize within Coq. Add\n  it to your repository.\n\n```\ngit add README.md\n```\n\n- Commit your file:\n\n```\ngit commit -m 'README.md: Update.'\n```\n\n- and finally, push your changes to the github repository:\n\n```\ngit push origin master\n```\n\nIf you need usage documentation about git, you can try:\n\n- [A crash course](https://earlyandoften.wordpress.com/2012/05/03/git-crashcourse/)\n- [The official GIT tutorial](http://git-scm.com/docs/gittutorial][The official GIT tutorial)\n\n## Mail-based instructions\n\nUsing the github repository would ease the interaction between you and\nthe pedagogical team. Nevertheless, you can always send us a description\nof a proof you know well and that you want to mechanize within Coq by\nsending an email to `yrg@pps.univ-paris-diderot.fr`.","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fyurug%2Fcoqepit","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fyurug%2Fcoqepit","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fyurug%2Fcoqepit/lists"}