External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 1

PDF

Bibliographies

    Researchr

    Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

    Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

    The MetaCoq Project

    Matthieu Sozeau, Abhishek Anand, Simon Boulier, Cyril Cohen, Yannick Forster 0002, Fabian Kunze, Gregory Malecha, Nicolas Tabareau, Théo Winterhalter. The MetaCoq Project. Journal of Automated Reasoning, 64(5):947-999, 2020. [doi]

    Authors

    Matthieu Sozeau

    This author has not been identified. Look up 'Matthieu Sozeau' in Google

    Abhishek Anand

    This author has not been identified. Look up 'Abhishek Anand' in Google

    Simon Boulier

    This author has not been identified. Look up 'Simon Boulier' in Google

    Cyril Cohen

    This author has not been identified. Look up 'Cyril Cohen' in Google

    Yannick Forster 0002

    This author has not been identified. Look up 'Yannick Forster 0002' in Google

    Fabian Kunze

    This author has not been identified. Look up 'Fabian Kunze' in Google

    Gregory Malecha

    This author has not been identified. Look up 'Gregory Malecha' in Google

    Nicolas Tabareau

    This author has not been identified. Look up 'Nicolas Tabareau' in Google

    Théo Winterhalter

    This author has not been identified. Look up 'Théo Winterhalter' in Google
    runs on