issues
search
coq
/
platform-docs
A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
https://coq.inria.fr/platform-docs/
Other
16
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
A few small improvements to the template tutorial
#47
MevenBertrand
closed
1 week ago
0
Improve the discussions on TemplatePoly and UnivPoly
#46
thomas-lamiaux
opened
2 weeks ago
4
Discuss Equations and mutual inductive types
#45
thomas-lamiaux
opened
2 weeks ago
0
Tutorial about Universes
#44
thomas-lamiaux
opened
2 weeks ago
0
How-to compute and print the dependecy graph of a repo
#43
thomas-lamiaux
opened
2 weeks ago
0
How-to set up a CoqProject
#42
thomas-lamiaux
opened
2 weeks ago
0
Set up deployment for PR
#41
thomas-lamiaux
opened
2 weeks ago
0
Improve Welcoming page
#40
thomas-lamiaux
opened
2 weeks ago
0
Switch from coqdoc to alectryon
#39
thomas-lamiaux
opened
2 weeks ago
0
Tuto Equations and Views
#38
thomas-lamiaux
opened
2 weeks ago
0
a tutorial draft about SSReflect tactics
#37
grianneau
opened
1 month ago
3
Crediting main contributors
#36
thomas-lamiaux
opened
1 month ago
0
Licensing
#35
Zimmi48
closed
1 month ago
0
New explanation about template universe polymorphism
#34
lephe
closed
2 weeks ago
11
Tutorial Easy
#33
thomas-lamiaux
opened
2 months ago
1
Starting Intro pattern
#32
Villetaneuse
opened
2 months ago
3
proposition of a call for contrib
#31
Villetaneuse
closed
1 month ago
2
Fix typo in expport part of RequireImport
#30
Villetaneuse
closed
2 months ago
0
Fix text describing selective import: not available for tactics.
#29
Zimmi48
closed
2 months ago
0
More structure in index
#28
Villetaneuse
closed
2 months ago
0
More emphasis fixes
#27
Villetaneuse
closed
2 months ago
0
try to fix coqdoc emphasis
#26
Villetaneuse
closed
2 months ago
0
fix some typose in RequireImport tutorial
#25
Villetaneuse
closed
2 months ago
0
Introduce GitHub Action.
#24
Zimmi48
closed
2 months ago
0
Tips and Good Practices
#23
thomas-lamiaux
closed
3 weeks ago
0
Programmation -> english
#22
CohenCyril
closed
3 months ago
0
Make the abstract shorter
#21
Villetaneuse
closed
3 months ago
4
Whishlist for Equations
#20
thomas-lamiaux
closed
2 weeks ago
0
Integrate Comments to Equations Tutorial Basics
#19
thomas-lamiaux
closed
3 months ago
5
Add bibliography and convert to easychair
#18
Villetaneuse
closed
3 months ago
0
Extended Abstract for ITP24's Coq Workshop
#17
thomas-lamiaux
closed
3 months ago
0
Add a tutorial about Require and Import
#16
Villetaneuse
closed
3 months ago
4
Infrastructure for building tutorials as jsCoq interactive documents.
#15
Zimmi48
closed
2 months ago
11
Ideal Technical Framework
#14
thomas-lamiaux
opened
4 months ago
0
Convention Section
#13
thomas-lamiaux
closed
4 months ago
4
Add the mktoc tool to make a table of content
#12
Villetaneuse
opened
4 months ago
0
Adding a Search tutorial
#11
Villetaneuse
closed
4 months ago
8
The table of content should be an output, not an input
#10
Villetaneuse
opened
4 months ago
2
Tutorial Equations: Indexed Inductive Types
#9
thomas-lamiaux
opened
4 months ago
4
Tutorial Equations: well-founded recursion
#8
thomas-lamiaux
closed
2 months ago
7
Set up a web interface
#7
thomas-lamiaux
closed
2 months ago
0
Set up an action
#6
thomas-lamiaux
opened
4 months ago
1
Add a license
#5
thomas-lamiaux
closed
1 month ago
13
Contribution guidelines
#4
thomas-lamiaux
closed
4 months ago
1
Tutorial, Equations: dealing with indexed inductive types
#3
thomas-lamiaux
closed
4 months ago
0
Tutorial, Equations: well-founded recursion
#2
thomas-lamiaux
closed
4 months ago
2
Tutorial, Equations: Basics
#1
thomas-lamiaux
closed
4 months ago
3