Skip to content

History / Coq Meetings Organization

Edit page New page

Revisions

  • Updated Coq Meetings Organization (markdown)

    @mattam82 mattam82 committed May 1, 2023
    bc707a9

  • Updated Coq Meetings Organization (markdown)

    @jfehrle jfehrle committed Apr 25, 2023
    46e9af8

  • Add “Roles” heading and some missing punctuation

    @Frigory33 Frigory33 committed Apr 24, 2023
    841dda3

  • Updated Coq Meetings Organization (markdown)

    @Zimmi48 Zimmi48 committed Apr 4, 2023
    0611279

  • Updated Coq Meetings Organization (markdown)

    @mattam82 mattam82 committed Apr 3, 2023
    c9ff10d

  • Updated Coq Meetings Organization (markdown)

    @tabareau tabareau committed Apr 3, 2023
    f09574d

  • Updated Coq Meetings Organization (markdown)

    @mattam82 mattam82 committed Apr 3, 2023
    0c90300

  • Updated Coq Meetings Organization (markdown)

    @mattam82 mattam82 committed Apr 3, 2023
    99a5fb2

  • Created Coq Meetings Organization (markdown)

    @mattam82 mattam82 committed Apr 3, 2023
    a0fca45