[{"_1":2,"_170":-5,"_171":-5},"loaderData",{"_3":4,"_13":14,"_21":22,"_145":146},"root",{"_5":-5,"_6":-7,"_7":8,"_9":-7,"_10":11,"_12":-7},"currentUser","primaryEmail","siteVerification","6LeIxAcTAAAAAJcZVRqyHh71UMIEGNQ_MXjiZKhI","toast","enableDev",false,"incidentStatus","routes/_layout",{"_15":-5,"_16":17,"_18":17,"_19":11,"_20":17},"username","isAskGordonEnabled",true,"isUsingNewTemplate","showMinimalLanding","showHoneypotTrap","routes/_layout.r.$namespace.$reponame",{"_23":24,"_25":-5,"_26":11,"_27":11,"_28":29,"_30":31,"_32":-5,"_33":11,"_34":35,"_84":-5,"_85":86,"_136":-5,"_137":11,"_138":17,"_139":11,"_140":-5,"_141":11,"_142":-5,"_143":144},"canonicalUrl","https://hub.docker.com/r/ptival/peacoq/tags","mcpServer","canSeeDockerfile","canSeeAutobuilds","namespace","ptival","reponame","peacoq","cloudBuildSource","isAutobuildsAvailable","repo",{"_36":37,"_38":39,"_41":42,"_43":44,"_45":11,"_46":47,"_48":49,"_50":51,"_53":31,"_28":29,"_54":55,"_56":-5,"_57":58,"_59":60,"_61":62,"_63":-5,"_64":58,"_65":66,"_67":11,"_68":29,"_69":70,"_75":17,"_76":77,"_81":29,"_82":83},"categories",[],"content_types",[40],"image","date_registered","2015-11-10T18:42:31.668318Z","description","PeaCoq is a web front-end for Coq, with benefits!","is_private","last_updated","2016-04-29T07:09:58.852594Z","last_modified","2024-10-16T13:48:34.145251Z","media_types",[52],"application/vnd.docker.distribution.manifest.v1+prettyjws","name","pull_count",1279,"repository_type","star_count",0,"status",1,"status_description","active","source","collaborator_count","full_description","![PeaCoq logo](http://goto.ucsd.edu/~vrobert/peacoq.png) PeaCoq\n===============================================================\n\n[![Build Status](https://travis-ci.org/Ptival/PeaCoq.svg)](https://travis-ci.org/Ptival/PeaCoq)\n\n# [![Docker Hub](http://goto.ucsd.edu/~vrobert/docker.png)](https://hub.docker.com/r/ptival/peacoq/)\n\nGetting ready (everyone)\n------------------------\n\n```\n$ git clone https://github.com/Ptival/PeaCoq.git\n$ cd PeaCoq\n```\n\nDependencies (NixOS)\n--------------------\n\nFor all of you 1337 hax0rz, `shell.nix` should pull all the necessary\ndependencies.\n\n```\n$ nix-shell\n# brace yourself, this might take a while the first time!\n```\n\nDependencies (other distributions)\n----------------------------------\n\nUsing your package manager of choice, pull the following dependencies:\n\n| Dependency | Version | Bound | Comment |\n| ------------- | ------- |:-----:| -------------------------------------------- |\n| cabal-install | 1.22 | ~ | Use the most recent available |\n| Camlp5 | 6.14 | ? | Not sure, just get the most recent available |\n| Coq | 8.5 | + | Will **definitely** not work on < 8.5 |\n| GHC | 7.10.2 | ~+ | I believe I use some of the recent features |\n| NodeJS (npm) | 3.8.6 | ? | Any version might work |\n| OCaml | 4.02.3 | ~+ | Might work on anything >= 4, if Coq builds |\n\nPlus, the following cabal dependencies must be pulled manually:\n\n```\n$ cabal install alex happy\n```\n\nBuilding (everyone)\n-------------------\n\nOptionally (but recommended), you can run `cabal update`, then:\n\n```\n$ ./setup.sh\n```\n\n`setup.sh` will perform a lot of operations:\n\n1. Check that the required software is present and versions\n\n2. Clean up existing installations of `peacoqtop` and `peacoq-server`\n\n3. Build and install `peacoqtop`, a wrapper around `coqtop`\n\n4. Build and install `peacoq-server`, a small server to communicate with the\n front-end\n\n5. `make` the OCaml plugin that enriches Coq's protocol for PeaCoq\n\n6. `npm install` some JavaScript modules needed by the front-end\n\n7. `typings install` some TypeScript definitions needed to type-check the front-end\n\n8. `tsc -p .` transpiles the front-end from TypeScript to JavaScript\n\n9. Finally a configuration file will be created in your home directory\n\nSo it will take a while the first time, and steps 3, 4, 6, and 7 will\nrequire an Internet connection.\n\nRunning PeaCoq\n--------------\n\n```\n./peacoq -p \n```\n\nThen navigate to `http://localhost:/index.html` to start using PeaCoq!\n\nShortcuts\n---------\n\n`` will refer to a `Ctrl` or `Command` key.\n`` will refer to a `Alt` or `Option` key.\n\nNote: certain shortcuts offer a poor user experience on Windows and possibly MacOS.\n\nThey will eventually be re-bind-able. Feel free to alter them in\n`web/ts/editor/keybindings.ts`.\n\n| Shortcut | Action |\n| --------------- | ------------- |\n| ` L` | Load a file |\n| ` S` | Save a file |\n| ` Up` | Step backward |\n| ` Right` | Step to caret |\n| ` Down` | Step forward |\n| ` +` | Increase font |\n| ` -` | Decrease font |\n\n","has_starred","hub_user","immutable_tags_settings",{"_71":11,"_72":73},"enabled","rules",[74],".*","is_automated","permissions",{"_78":17,"_79":11,"_80":11},"read","write","admin","user","storage_size",11863443666,"orgData","recentTags",[87,125],{"_88":40,"_89":90,"_91":92,"_93":94,"_95":96,"_97":98,"_46":114,"_115":90,"_116":29,"_117":52,"_53":118,"_119":120,"_121":105,"_122":114,"_123":62,"_124":17},"content_type","creator",507298,"digest","sha256:56f4e5b3578a2a34a2afc8d517f56750249b2e475a0388620f50f461ccb063b7","full_size",467278871,"id",1323686,"images",[99],{"_100":101,"_91":92,"_102":103,"_104":105,"_106":107,"_108":103,"_109":103,"_110":-5,"_111":112,"_59":62,"_113":-5},"architecture","amd64","features","","last_pulled","2026-09-26T21:51:51.360747394Z","last_pushed","2016-04-29T07:09:59Z","os","os_features","os_version","size",467279095,"variant","2016-04-29T07:09:58.19179Z","last_updater","last_updater_username","media_type","latest","repository",397267,"tag_last_pulled","tag_last_pushed","tag_status","v2",{"_88":40,"_89":90,"_91":126,"_93":127,"_95":128,"_97":129,"_46":134,"_115":90,"_116":29,"_117":52,"_53":135,"_119":120,"_121":131,"_122":134,"_123":62,"_124":17},"sha256:34a166ecc06f2be6827c20744336296cca70c46b7b072edc44521967201b070a",425114030,1316989,[130],{"_100":101,"_91":126,"_102":103,"_104":131,"_106":132,"_108":103,"_109":103,"_110":-5,"_111":133,"_59":62,"_113":-5},"2026-09-26T21:44:35.150093552Z","2015-11-11T18:13:55Z",425114254,"2015-11-11T18:13:57.704702Z","master","sbxKitMetadata","isPotentialSpam","isHubSbxKitsEnabled","showSbxLogoOverride","sbxTrademarkText","displaySecurityMetadata","tagAttestations","tagsHaveAttestations",[],"routes/_layout.r.$namespace.$reponame.tags",{"_34":147,"_154":155,"_143":168,"_169":11},{"_36":148,"_38":149,"_41":42,"_43":44,"_45":11,"_46":47,"_48":49,"_50":150,"_53":31,"_28":29,"_54":55,"_56":-5,"_57":58,"_59":60,"_61":62,"_63":-5,"_64":58,"_65":66,"_67":11,"_68":29,"_69":151,"_75":17,"_76":153,"_81":29,"_82":83},[],[40],[52],{"_71":11,"_72":152},[74],{"_78":17,"_79":11,"_80":11},"tags",{"_156":157,"_158":-5,"_159":-5,"_160":161},"count",2,"next","previous","results",[162,165],{"_88":40,"_89":90,"_91":92,"_93":94,"_95":96,"_97":163,"_46":114,"_115":90,"_116":29,"_117":52,"_53":118,"_119":120,"_121":105,"_122":114,"_123":62,"_124":17},[164],{"_100":101,"_91":92,"_102":103,"_104":105,"_106":107,"_108":103,"_109":103,"_110":-5,"_111":112,"_59":62,"_113":-5},{"_88":40,"_89":90,"_91":126,"_93":127,"_95":128,"_97":166,"_46":134,"_115":90,"_116":29,"_117":52,"_53":135,"_119":120,"_121":131,"_122":134,"_123":62,"_124":17},[167],{"_100":101,"_91":126,"_102":103,"_104":131,"_106":132,"_108":103,"_109":103,"_110":-5,"_111":133,"_59":62,"_113":-5},[],"canDeleteTags","actionData","errors"]

ptival/peacoq

Tags for ptival/peacoq