8000 Commits · Villetaneuse/platform-docs · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Apr 14, 2025

Ltac2 Tuto thunking (#90)

thomas-lamiaux
and
SkySkimmer
authored

Commits on Apr 3, 2025

typo (#85)

patrick-nicodemus
and
Patrick Nicodemus
authored

Commits on Apr 1, 2025

fix: typo of the flag `-noinit` in RequireImportTutorial.v (#84)
yoshihiro503
authored

Commits on Mar 10, 2025

Commits on Feb 18, 2025

Tutorial Equations: index inductive types (#75)

mattam82
and
thomas-lamiaux
authored

Commits on Feb 15, 2025

Commits on Jan 31, 2025

Explanation about bidirectionality hints (#71)
Lysxia
authored

Commits on Jan 3, 2025

Tutorial about Intro patterns (#73)

authored

Commits on Nov 7, 2024

Commits on Nov 4, 2024

Fix coqdoc comment in Tutorial_Chaining_Tactics.v
thomas-lamiaux
authored

Commits on Nov 2, 2024

Commits on Oct 29, 2024

Commits on Oct 27, 2024

Update template.md
thomas-lamiaux
authored

Commits on Oct 21, 2024

Pin version of Coq used in CI. (#65)
Zimmi48
authored

Commits on Oct 18, 2024

Commits on Oct 13, 2024

Commits on Sep 2, 2024

Commits on Sep 1, 2024

New explanation about template universe polymorphism (#34)
lephe
authored

Commits on Aug 28, 2024

Fix link to webpage after repo transfer.
Zimmi48
authored

Commits on Aug 1, 2024

Commits on Jul 31, 2024

Commits on Jul 26, 2024

Remove gallicism.
Zimmi48
authored

Commits on Jul 18, 2024

proposition of a call for contrib (#31)

authored

Commits on Jul 17, 2024

Include images/ in deployment to GitHub Pages.
Zimmi48
authored

0