Skip to content

History / MetaCoq Tutorial @ POPL 2024: Meta‐programming and proving with MetaCoq

Edit page New page

Revisions

  • Updated MetaCoq Tutorial @ POPL 2024: Meta‐programming and proving with MetaCoq (markdown)

    @tadeuszlitak tadeuszlitak committed Jan 14, 2024
    1040005

  • Updated MetaCoq Tutorial @ POPL 2024: Meta‐programming and proving with MetaCoq (markdown)

    @digama0 digama0 committed Jan 13, 2024
    836e595

  • Updated MetaCoq Tutorial @ POPL 2024: Meta‐programming and proving with MetaCoq (markdown)

    @Quarkbeast Quarkbeast committed Jan 13, 2024
    21fe67d

  • fixed casing in my name

    @jp-diegidio jp-diegidio committed Jan 13, 2024
    ab1ab01

  • Updated MetaCoq Tutorial @ POPL 2024: Meta‐programming and proving with MetaCoq (markdown)

    @yforster yforster committed Jan 13, 2024
    1abd173

  • Updated MetaCoq Tutorial @ POPL 2024: Meta‐programming and proving with MetaCoq (markdown)

    @yforster yforster committed Jan 9, 2024
    6b247ae

  • Updated MetaCoq Tutorial @ POPL 2024: Meta‐programming and proving with MetaCoq (markdown)

    @yforster yforster committed Jan 5, 2024
    60e0aff

  • Updated MetaCoq Tutorial @ POPL 2024: Meta‐programming and proving with MetaCoq (markdown)

    @yforster yforster committed Jan 5, 2024
    2f7fed1

  • Updated MetaCoq Tutorial @ POPL 2024: Meta‐programming and proving with MetaCoq (markdown)

    @ju-sh ju-sh committed Jan 4, 2024
    0470c21

  • Updated MetaCoq Tutorial @ POPL 2024: Meta‐programming and proving with MetaCoq (markdown)

    @ianshil ianshil committed Jan 2, 2024
    d78da42

  • Updated MetaCoq Tutorial @ POPL 2024: Meta‐programming and proving with MetaCoq (markdown)

    @yforster yforster committed Dec 21, 2023
    7751a9b

  • Updated MetaCoq Tutorial @ POPL 2024: Meta‐programming and proving with MetaCoq (markdown)

    @yforster yforster committed Dec 21, 2023
    97038d4

  • Updated MetaCoq Tutorial @ POPL 2024: Meta‐programming and proving with MetaCoq (markdown)

    @sonmarcho sonmarcho committed Dec 21, 2023
    4de6878

  • Updated MetaCoq Tutorial @ POPL 2024: Meta‐programming and proving with MetaCoq (markdown)

    @yforster yforster committed Dec 21, 2023
    13f4bbc

  • Created MetaCoq Tutorial @ POPL 2024: Meta-programming and proving with MetaCoq (markdown)

    @yforster yforster committed Dec 21, 2023
    a7f9538