-
Notifications
You must be signed in to change notification settings - Fork 11
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
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
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
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
Improve the discussions on TemplatePoly and UnivPoly
documentation
Improvements or additions to documentation
Improvements
Improvements
#46
opened Sep 1, 2024 by
thomas-lamiaux
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
Crediting main contributors
Repository
Wish
Wish for Tutorial or How-to guides
#36
opened Jul 31, 2024 by
thomas-lamiaux
ProTip!
Find all open issues with in progress development work with linked:pr.