Skip to content
GitLab
    • Why GitLab
    • Pricing
    • Contact Sales
    • Explore
  • Why GitLab
  • Pricing
  • Contact Sales
  • Explore
  • Sign in
  • Get free trial
  • Nomadic LabsNomadic Labs
  • Mi-Cho-Coq
  • Repository
  • mi-cho-coq
  • src
  • michocoq
  • syntax_type.v
Find file Blame History Permalink
  • Raphaël Cauderlier's avatar
    [Mi-Cho-Coq] Remove annotations in or types · 0770cef8
    Raphaël Cauderlier authored May 07, 2021
    0770cef8