Skip to content

History / Coq Call 2023 10 10

Edit page New page

Revisions

  • Updated Coq Call 2023 10 10 (markdown)

    @Zimmi48 Zimmi48 committed Oct 11, 2023
    8fe70d4

  • summary and translation of notes taken in French by Y. Bertot during the meeting

    @ybertot ybertot committed Oct 11, 2023
    60eb33e

  • Updated Coq Call 2023 10 10 (markdown)

    @ybertot ybertot committed Oct 10, 2023
    25f4605

  • Updated Coq Call 2023 10 10 (markdown)

    @proux01 proux01 committed Oct 10, 2023
    f236af6

  • Updated Coq Call 2023 10 10 (markdown)

    @Zimmi48 Zimmi48 committed Oct 9, 2023
    fa02091

  • Updated Coq Call 2023 10 10 (markdown)

    @proux01 proux01 committed Oct 9, 2023
    7c3d715

  • Updated Coq Call 2023 10 10 (markdown)

    @herbelin herbelin committed Oct 7, 2023
    e83d11c

  • Created Coq Call 2023 10 10 (markdown)

    @Zimmi48 Zimmi48 committed Oct 6, 2023
    d946541