Skip to content

History

New page

Revisions

  • Updated Plugin Projects in Template Coq (markdown)

    @kyoDralliam kyoDralliam committed Sep 23, 2024
    609097d

  • Updated Plugin Projects in Template Coq (markdown)

    @kyoDralliam kyoDralliam committed Sep 23, 2024
    133751f

  • 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

  • Updated Erasure of cofixpoints (markdown)

    @mattam82 mattam82 committed Aug 23, 2022
    ea1500b

  • Updated Erasure of cofixpoints (markdown)

    @mattam82 mattam82 committed Aug 23, 2022
    ff4bdd4

  • Created Erasure of cofixpoints (markdown)

    @mattam82 mattam82 committed Aug 23, 2022
    120d54e

  • Updated Calling Ltac from the TemplateMonad (markdown)

    @yforster yforster committed Jul 29, 2022
    70bf7b5

  • Created Calling Ltac from the TemplateMonad (markdown)

    @yforster yforster committed Jul 29, 2022
    61e29a2

  • Updated FAQ: Compilation problems (markdown)

    @yforster yforster committed Jun 27, 2022
    03b9eef

  • Updated FAQ: Compilation problems (markdown)

    @yforster yforster committed May 23, 2022
    fdb1f58

  • Added missing closing `

    @yannl35133 yannl35133 committed May 23, 2022
    341f4b2

  • Updated Using nix build with metacoq (markdown)

    @kyoDralliam kyoDralliam committed May 17, 2022
    9187923

  • Updated Using nix build with metacoq (markdown)

    @mattam82 mattam82 committed May 17, 2022
    c7528bb

  • Updated Using nix build with metacoq (markdown)

    @kyoDralliam kyoDralliam committed May 17, 2022
    2fcbe42

  • Updated Using nix build with metacoq (markdown)

    @kyoDralliam kyoDralliam committed May 16, 2022
    f5b91c8

  • Created Using nix build with metacoq (markdown)

    @kyoDralliam kyoDralliam committed May 16, 2022
    eff2a35