Ptival/PeaCoq Issues
Docker image: missing files
Updated 1Serialization of Coq's types.
Updated 5Building PeaCoq on NixOS
Updated 12Online demo
Updated 2setup for Test.hs
Closed 7Showing proof context
Updated 2Mac: failed to run
Closed 3Docker image fails to build
Closed 9firstorder causes proof tree to hang
Updated 4git is needed to run the server
Closed 5Error Installing in Debian Weezy
Closed 3start server error
Closed 8Jitter bug
Closed 1Allow saving with ctrl-s
Closed 4Basic help: keyboard shortcuts
Closed 2Getting started on Mac
Closed 5