Artifact
FinCert Software
Author
Derek Sorensen 
- Part of: Collection: Supplementary Materials
- License: MIT License
- Publication Date: 2024-11-28
Document Identifiers
Author Details
Content
- Software (Source Code): https://github.com/dhsorens/FinCert
-
archived version
Version/Status
- Content created at: 2023-03-01
- Status: Active (at the time of publication 2024-11-28)
Cite As Get BibTex
Derek Sorensen. FinCert (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/artifacts.22478
Subject Classification
Programming Languages
- Coq
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)