LogRel-Coq – FSCD 2025 Software

@misc{dagstuhl-artifact-23665,
   title = {{LogRel-Coq – FSCD 2025}}, 
   author = {Lennon-Bertrand, Meven},
   note = {Software, version fscd25., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:175ef91ad4724a9348081efb37ae93dd8c9082ba;origin=https://github.com/CoqHott/logrel-coq;visit=swh:1:snp:9aebb07e889c95e363d9216fae7f1f03583e9850;anchor=swh:1:rev:9ca549d553bd41a6c00efb0655d23fa9a8dabd48}{\texttt{swh:1:dir:175ef91ad4724a9348081efb37ae93dd8c9082ba}} (visited on 2025-07-07)},
   url = {https://github.com/CoqHott/logrel-coq/tree/fscd25},
   doi = {10.4230/artifacts.23665},
}