Skip to content

Issues: coq/platform-docs

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

24 Open 9 Closed
24 Open 9 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

Chaining tactics issues
#72 opened Nov 4, 2024 by Villetaneuse
1
What is the difference between induction and destruct, and when to use what documentation Improvements or additions to documentation Help Wanted Good first contribution Wish Wish for Tutorial or How-to guides
#69 opened Oct 29, 2024 by thomas-lamiaux
CI broken will break with update to 8.20
#64 opened Oct 18, 2024 by Zimmi48
5
Transfer the tuto "declaring instance in mathcomp" to platform docs documentation Improvements or additions to documentation
#60 opened Oct 16, 2024 by thomas-lamiaux
How not to never need more than three bullets documentation Improvements or additions to documentation Help Wanted Good first contribution Wish Wish for Tutorial or How-to guides
#59 opened Oct 15, 2024 by thomas-lamiaux
2
Write a How-to reason about intrinsic syntax using Equations documentation Improvements or additions to documentation Wish Wish for Tutorial or How-to guides
#57 opened Oct 14, 2024 by thomas-lamiaux
Tutorial Equations and Extraction ? documentation Improvements or additions to documentation Wish Wish for Tutorial or How-to guides
#53 opened Oct 6, 2024 by thomas-lamiaux
Improve Equations wf: add Chunk Monoid example documentation Improvements or additions to documentation Help Wanted Good first contribution Improvements Improvements
#52 opened Oct 6, 2024 by thomas-lamiaux
How-to about SProp documentation Improvements or additions to documentation Wish Wish for Tutorial or How-to guides
#51 opened Oct 4, 2024 by thomas-lamiaux
Tutotorial about SProp documentation Improvements or additions to documentation Wish Wish for Tutorial or How-to guides
#50 opened Oct 4, 2024 by thomas-lamiaux
Improve Equations wf discussing subterm relation documentation Improvements or additions to documentation Help Wanted Good first contribution Improvements Improvements
#49 opened Sep 21, 2024 by thomas-lamiaux
2
Improve the discussions on TemplatePoly and UnivPoly documentation Improvements or additions to documentation Improvements Improvements
#46 opened Sep 1, 2024 by thomas-lamiaux
4
Improve Equations basics discussing Equations and mutual inductive types documentation Improvements or additions to documentation Help Wanted Good first contribution Improvements Improvements
#45 opened Aug 31, 2024 by thomas-lamiaux
Tutorial about Universes documentation Improvements or additions to documentation Wish Wish for Tutorial or How-to guides
#44 opened Aug 31, 2024 by thomas-lamiaux
How-to compute and print the dependecy graph of a repo documentation Improvements or additions to documentation Help Wanted Good first contribution Wish Wish for Tutorial or How-to guides
#43 opened Aug 29, 2024 by thomas-lamiaux
How-to set up a CoqProject documentation Improvements or additions to documentation Help Wanted Good first contribution Wish Wish for Tutorial or How-to guides
#42 opened Aug 29, 2024 by thomas-lamiaux
Set up deployment for PR Web Interface Concerning the Web Interface
#41 opened Aug 28, 2024 by thomas-lamiaux
Improve Welcoming page (set up Sphinx ?) Web Interface Concerning the Web Interface
#40 opened Aug 28, 2024 by thomas-lamiaux
Switch from coqdoc to alectryon Web Interface Concerning the Web Interface
#39 opened Aug 28, 2024 by thomas-lamiaux
Write Tuto Equations and Views documentation Improvements or additions to documentation Wish Wish for Tutorial or How-to guides
#38 opened Aug 28, 2024 by thomas-lamiaux
@EwenBC
1
Crediting main contributors Repository Wish Wish for Tutorial or How-to guides
#36 opened Jul 31, 2024 by thomas-lamiaux
Ideal Technical Framework
#14 opened May 15, 2024 by thomas-lamiaux
The table of content should be an output, not an input
#10 opened May 14, 2024 by Villetaneuse
1
2
Set up an action
#6 opened May 13, 2024 by thomas-lamiaux
1
ProTip! Add no:assignee to see everything that’s not assigned.