{"id":17252239,"url":"https://github.com/eagletmt/coqtop-vim","last_synced_at":"2025-06-23T16:06:20.392Z","repository":{"id":66848266,"uuid":"1743906","full_name":"eagletmt/coqtop-vim","owner":"eagletmt","description":"Interact with coqtop within Vim","archived":false,"fork":false,"pushed_at":"2013-05-15T12:08:47.000Z","size":109,"stargazers_count":11,"open_issues_count":0,"forks_count":6,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-06-21T01:49:27.607Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"VimL","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/eagletmt.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":"2011-05-13T15:20:23.000Z","updated_at":"2022-01-25T18:26:34.000Z","dependencies_parsed_at":"2023-02-20T13:00:29.381Z","dependency_job_id":null,"html_url":"https://github.com/eagletmt/coqtop-vim","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/eagletmt/coqtop-vim","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/eagletmt%2Fcoqtop-vim","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/eagletmt%2Fcoqtop-vim/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/eagletmt%2Fcoqtop-vim/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/eagletmt%2Fcoqtop-vim/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/eagletmt","download_url":"https://codeload.github.com/eagletmt/coqtop-vim/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/eagletmt%2Fcoqtop-vim/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":261509776,"owners_count":23169682,"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-15T06:53:23.418Z","updated_at":"2025-06-23T16:06:20.283Z","avatar_url":"https://github.com/eagletmt.png","language":"VimL","funding_links":[],"categories":[],"sub_categories":[],"readme":"# coqtop-vim\nInteract with coqtop within Vim.\n\n## install\n- Install [vimproc](https://github.com/Shougo/vimproc).\n  - NOTE: Use latest vimproc, because vimproc 5.1 has a serious bug for coqtop-vim (fixed by [this commit](https://github.com/Shougo/vimproc/commit/e97c38caa39be79d6971059afbd9548fa1e67681)).\n- Copy coqtop-vim to your 'runtimepath' directory (such as ~/.vim).\n\n## usage\n`:CoqStart` to start coqtop.\n\nTo prevent default local mappings, do `:let g:coqtop_no_default_mappings = 1`.\n\n### :CoqGoto\nGoto this line. You can go both forward and backward.\n\nMapped to `\u003cLocalLeader\u003eg` (in normal mode) and `\u003cC-g\u003e` (in insert mode) by default.\n\n### :CoqClear\nClear current session.\n\nMapped to `\u003cLocalLeader\u003ec` by default.\n\n### :CoqQuit\nQuit coqtop-vim.\n\nMapped to `\u003cLocalLeader\u003eq` by default.\n\n### :CoqPrint\nSame as `Print` vernacular command.\n\nMapped to `\u003cLocalLeader\u003ep` by default.\n\n### :CoqSearchAbout\nSame as `SearchAbout` vernacular command.\n\nMapped to `\u003cLocalLeader\u003ea` by default.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Feagletmt%2Fcoqtop-vim","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Feagletmt%2Fcoqtop-vim","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Feagletmt%2Fcoqtop-vim/lists"}