flowers-metatheory Software

Author Pablo Donato



Document Identifiers

Author Details

Pablo Donato
  • LIX, École Polytechnique, Palaiseau, France

Content

Version/Status

  • Content created at: 2022-06-12
  • Status: Inactive (at the time of publication 2024-11-28)

Cite As Get BibTex

Pablo Donato. flowers-metatheory (Software, Mechanized Theory). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22486

Subject Classification

Programming Languages
  • Coq

Metrics

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail