Feedback on the Current Page
Afonso B. Caniço, André L. Santos. ambco-iscte/jask (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27040,
title = {{ambco-iscte/jask}},
author = {B. Cani\c{c}o, Afonso and Santos, Andr\'{e} L.},
note = {Software, version 0.7.3. (visited on 2026-07-22)},
url = {https://github.com/ambco-iscte/jask},
doi = {10.4230/artifacts.27040},
}
Ana Paula Silva. SLR Protocol (Text). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27127,
title = {{SLR Protocol}},
author = {Silva, Ana Paula},
note = {Text (visited on 2026-07-22)},
url = {https://drive.google.com/open?id=1WMa233ZR-LRSCwsrNX7SMtLi9cgrP3-1&usp=drive_fs},
doi = {10.4230/artifacts.27127},
}
José Paiva, Ricardo Queirós. Gamibot (Text, Project Website). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27132,
title = {{Gamibot}},
author = {Paiva, Jos\'{e} and Queir\'{o}s, Ricardo},
note = {Text (visited on 2026-07-22)},
url = {https://inov-norte.github.io/gamibot-docs},
doi = {10.4230/artifacts.27132},
}
Aeacus Sheng. Dsc (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-26768,
title = {{Dsc}},
author = {Sheng, Aeacus},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:3426ce298c72bee5193a80074861219cff844070;origin=https://github.com/Aeacu2/Dsc;visit=swh:1:snp:dabe0de147e4a71e4c8a6cb04a350397ae70df98;anchor=swh:1:rev:bea2da7e663f4b543e057d36a4dba9bd422abc03}{\texttt{swh:1:dir:3426ce298c72bee5193a80074861219cff844070}} (visited on 2026-07-16)},
url = {https://github.com/Aeacu2/Dsc},
doi = {10.4230/artifacts.26768},
}
Sho Sonoda, Kazumi Kasaura, Yuma Mizuno, Kei Tsukamoto, Naoto Onda. auto-res/lean-rademacher (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27120,
title = {{auto-res/lean-rademacher}},
author = {Sonoda, Sho and Kasaura, Kazumi and Mizuno, Yuma and Tsukamoto, Kei and Onda, Naoto},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:06614ca069f4562b630fca2903e3b286a426e317;origin=https://github.com/auto-res/lean-rademacher;visit=swh:1:snp:d3bc817a59894cb2cbb2258c50aee2a4e7f63d3e;anchor=swh:1:rev:f34ab4f0a9029682f1af3179a3fe9b5e114e511f}{\texttt{swh:1:dir:06614ca069f4562b630fca2903e3b286a426e317}} (visited on 2026-07-16)},
url = {https://github.com/auto-res/lean-rademacher/tree/f34ab4f0a9029682f1af3179a3fe9b5e114e511f},
doi = {10.4230/artifacts.27120},
}
Vladimir Gladshtein, K. Rustan M. Leino. dafny-lang/b3 (Software, Dafny implementation). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27039,
title = {{dafny-lang/b3}},
author = {Gladshtein, Vladimir and Leino, K. Rustan M.},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:1795668a148637332f93759bb96a4cd4283d6e32;origin=https://github.com/dafny-lang/b3;visit=swh:1:snp:648aaa9b8094ff8bbc35fddd2bcb5703151269fe;anchor=swh:1:rev:b24a2b2d6101df900e67d3bb151c4e85af4cd16d}{\texttt{swh:1:dir:1795668a148637332f93759bb96a4cd4283d6e32}} (visited on 2026-07-16)},
url = {https://github.com/dafny-lang/b3},
doi = {10.4230/artifacts.27039},
}
Reed Mullanix, Jacques Carette. panbench (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{Mullanix:2026,
title = {{panbench}},
author = {Mullanix, Reed and Carette, Jacques},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:1ab8fcd7ff7e56663004064274c3fe86bc213ec3;origin=https://github.com/JacquesCarette/panbench;visit=swh:1:snp:6182348efe3fa4a888a6200c05c0c0970178a16c;anchor=swh:1:rev:c2089c1f2ec9871b3c6ecdfd6ba63fda835298ef}{\texttt{swh:1:dir:1ab8fcd7ff7e56663004064274c3fe86bc213ec3}} (visited on 2026-07-16)},
url = {https://github.com/JacquesCarette/panbench},
doi = {10.4230/artifacts.26134},
}
Sage Binder, Hanna Lachnitt, Katherine Kosaian. Apply2Isar (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27121,
title = {{Apply2Isar}},
author = {Binder, Sage and Lachnitt, Hanna and Kosaian, Katherine},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:8753f0c693cdc7159375110e6dd9d977e62984a8;origin=https://github.com/sagebinder/apply2isar;visit=swh:1:snp:d413b506ca05f076c64c1ed2cf58f8c55da2f875;anchor=swh:1:rev:ecca6ce39f971746f0f3e35caf20e818819079d0}{\texttt{swh:1:dir:8753f0c693cdc7159375110e6dd9d977e62984a8}} (visited on 2026-07-16)},
url = {https://github.com/sagebinder/apply2isar},
doi = {10.4230/artifacts.27121},
}
Arend Mellendijk. algebra-tactic (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27124,
title = {{algebra-tactic}},
author = {Mellendijk, Arend},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:c939acdbc385233836c284ca55f264661c444c36;origin=https://github.com/amellendijk/algebra-tactic;visit=swh:1:snp:1ae7b2d2024fcbb577fe915ce6e3e8268ea25d74;anchor=swh:1:rev:3372ce1dc459f56e8de10abdfd51f3deaa4b0411}{\texttt{swh:1:dir:c939acdbc385233836c284ca55f264661c444c36}} (visited on 2026-07-16)},
url = {https://github.com/amellendijk/algebra-tactic},
doi = {10.4230/artifacts.27124},
}
Zeke Medley, Panagiotis Manolios. 0xekez/fslatp (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27134,
title = {{0xekez/fslatp}},
author = {Medley, Zeke and Manolios, Panagiotis},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:26cbefe528532dda47d04b7198cca383281e5a72;origin=https://github.com/0xekez/fslatp;visit=swh:1:snp:c0586566dcf43c2bf58ba92e5b738480c1db6b0b;anchor=swh:1:rev:98d85b5d1e46d2428b51d5e3799812e2a07387e6}{\texttt{swh:1:dir:26cbefe528532dda47d04b7198cca383281e5a72}} (visited on 2026-07-16)},
url = {https://github.com/0xekez/fslatp},
doi = {10.4230/artifacts.27134},
}
Thomas Zhu, Pietro Monticone, Sean Welleck, Jeremy Avigad. Lean Architect supplementary material (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27122,
title = {{Lean Architect supplementary material}},
author = {Zhu, Thomas and Monticone, Pietro and Welleck, Sean and Avigad, Jeremy},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:b5fd29736a2e6b7dc989266fe19d489e5f7c644d;origin=https://github.com/hanwenzhu/LeanArchitect;visit=swh:1:snp:6673da745f251a6cb39a11ce0fe264fdf4239663;anchor=swh:1:rev:f1c14e1c14290117ffcb017cf2d089a6a5e1523a}{\texttt{swh:1:dir:b5fd29736a2e6b7dc989266fe19d489e5f7c644d}} (visited on 2026-07-16)},
url = {https://github.com/hanwenzhu/LeanArchitect},
doi = {10.4230/artifacts.27122},
}
Meven Lennon-Bertrand, Alexis Saurin. Artefact for Bidirectional Interpolation for the Lambda-Calculus (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-27123,
title = {{Artefact for Bidirectional Interpolation for the Lambda-Calculus}},
author = {Lennon-Bertrand, Meven and Saurin, Alexis},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:6a685e50096459c7db24e7a23590ccbadcfcae01;origin=https://github.com/MevenBertrand/interpolation;visit=swh:1:snp:313ef56c2c2072591e5a53f259f709d7930a1f1e;anchor=swh:1:rev:c28f4e1a411ac468086fa1a0c0b8098559cacfe1}{\texttt{swh:1:dir:6a685e50096459c7db24e7a23590ccbadcfcae01}} (visited on 2026-07-16)},
url = {https://github.com/MevenBertrand/interpolation},
doi = {10.4230/artifacts.27123},
}
Ilario Bonacina, Jordi Levy, Ion Mikel Liberal. Beyond Core-Guided MaxSAT (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{dagstuhl-artifact-26940,
title = {{Beyond Core-Guided MaxSAT}},
author = {Bonacina, Ilario and Levy, Jordi and Liberal, Ion Mikel},
note = {Software, Funded by the AEI with the grant number PID2022-138506NB-C21 and PID2022-138506NB-C22., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:a682af082413755925b3b91d4df82ca14d10dd84;origin=https://github.com/Equipomaxsat/Beyond-Core-Guided-MaxSAT;visit=swh:1:snp:ae9fe432cdfa7fb7d24662ab6f34462c70907109;anchor=swh:1:rev:86be1ce314f914700da85f8cc49af3c1e5fac77b}{\texttt{swh:1:dir:a682af082413755925b3b91d4df82ca14d10dd84}} (visited on 2026-07-16)},
url = {https://github.com/Equipomaxsat/Beyond-Core-Guided-MaxSAT.git},
doi = {10.4230/artifacts.26940},
}
Jean-Marie Lagniez, Emmanuel Lonca. crillab/decdnnf_rs (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{WEB:Github/decdnnfrs,
title = {{crillab/decdnnf\underliners}},
author = {Lagniez, Jean-Marie and Lonca, Emmanuel},
note = {Software, ANR-25-CE23-3078, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:d5dc02d5fb7bd1577f971cfbed97343a8c28d640;origin=https://github.com/crillab/decdnnf_rs;visit=swh:1:snp:df4c7ab62c5cc1415c8fa6401ab3a8aa0ea040db;anchor=swh:1:rev:01d783870e6001796ffbc3a3f034f2e9d0f00878}{\texttt{swh:1:dir:d5dc02d5fb7bd1577f971cfbed97343a8c28d640}} (visited on 2026-07-16)},
url = {https://github.com/crillab/decdnnf_rs},
doi = {10.4230/artifacts.26963},
}
Jean-Marie Lagniez, Emmanuel Lonca. crillab/decdnnf_rs_c (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@misc{WEB:Github/decdnnfrs-c,
title = {{crillab/decdnnf\underliners\underlinec}},
author = {Lagniez, Jean-Marie and Lonca, Emmanuel},
note = {Software, ANR-25-CE23-3078, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:750b93383acb0bcd09b90555d1b8bb74be461490;origin=https://github.com/crillab/decdnnf_rs_c;visit=swh:1:snp:79b98f86fa5e9e358dee9c1b0096b6365e0391e2;anchor=swh:1:rev:fdcb8c8c83c3c750405099a0f855b915065239a8}{\texttt{swh:1:dir:750b93383acb0bcd09b90555d1b8bb74be461490}} (visited on 2026-07-16)},
url = {https://github.com/crillab/decdnnf_rs_c},
doi = {10.4230/artifacts.26964},
}