Artifact
flowers-metatheory Software
Author
Pablo Donato 
- Part of: Collection: Supplementary Materials
- License: GNU General Public License v3.0 or later
- Publication Date: 2024-11-28
Content
- Software (Mechanized Theory): https://github.com/Champitoad/flowers-metatheory
-
archived version
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
- Access Statistics
-
Total Accesses (updated on a weekly basis)