Page Index - MetaCoq/metacoq GitHub Wiki 8 page(s) in this GitHub Wiki: Home Calling Ltac from the TemplateMonad Erasure of cofixpoints FAQ: Compilation problems MetaCoq Tutorial @ POPL 2024: Meta‐programming and proving with MetaCoq Plugin Projects in Template Coq Template Coq Day July 4th Using nix build with metacoq