Skip to content

Pull requests: uhub/awesome-coq

New pull request New
Clear current search query, filters, and sorts
1 Open 6 Closed
1 Open 6 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Added coq_jupyter
#10 by EugeneLoy was merged Apr 3, 2019 Loading…
Add nameless programming libraries
#9 by JoeyEremondi was merged Oct 30, 2018 Loading…
Add Mathematical Components, Bedrock, Cosa
#5 by sanxiyn was merged Aug 12, 2017 Loading…
Add Cosette
#4 by sanxiyn was merged Aug 12, 2017 Loading…
fix markdown title format
#2 by chadluo was closed Apr 12, 2017 Loading…
Add Coquille
#1 by smondet was merged Nov 30, 2015 Loading…
ProTip! Add no:assignee to see everything that’s not assigned.