Skip to content

Issues: the-lambda-church/coquille

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

21 Open 23 Closed
21 Open 23 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Deprecate this repo?
#77 opened Apr 3, 2019 by XVilka
1
coq 8.9.0 support
#75 opened Feb 22, 2019 by VisualizeTheWorld
1
4
vim errors when opening coq on mac
#74 opened Feb 18, 2019 by suteerthv
"master" and "pathogen-bundle" are unrelated branches, breaking Plug
#73 opened Jul 24, 2018 by josephjunker
1
:Coq Check nat. hangs.
#72 opened Jun 2, 2018 by kindaro
1
How can I see errors related to a previous line?
#71 opened Apr 1, 2018 by mheiber
Python Error: IndexError: list index out of range
#65 opened Sep 17, 2017 by Kraks
1
Coq 8.4 support
#64 opened Jul 26, 2017 by leon-vv
Should pass arguments from _CoqProject to coqtop
#63 opened Jul 25, 2017 by nomeata
1
Coqtop stderr output appears on the screen randomly
#61 opened Jul 3, 2017 by felixbauckholt
Feature request: Python3 support
#59 opened May 5, 2017 by carlpaten
2
Python error when using UTF8 characters
#53 opened Mar 23, 2017 by dixego
2
On Admitted: AttributeError: 'Option' object has no attribute 'split'
#51 opened Feb 25, 2017 by alexeicolin
1
Error detected wile processing function provider#python#Call
#50 opened Feb 17, 2017 by adityavkk
3
Python error on coq error
#46 opened Jan 28, 2017 by sdemos
8
Broken pipe during RawQuery
#42 opened May 16, 2016 by WuTheFWasThat
4
provide details on pathogen installation
#41 opened May 15, 2016 by dimpase
1
Crash on Coq 8.5
#31 opened May 14, 2015 by nilehmann
9
a few shortcuts would be nice
#29 opened Mar 25, 2015 by c-cube
4
Coq-HoTT
#21 opened Jun 17, 2014 by tbelaire
1
is there an easy way to put back some old coq ide features?
#16 opened Nov 25, 2013 by osa1
6
ProTip! Exclude everything labeled bug with -label:bug.