EmptyHexagonLean

Subercaseaux, Bernardo; Nawrocki, Wojciech; Gallicchio, James; Codel, Cayden; Carneiro, Mario; Heule, Marijn J. H.

doi:10.4230/artifacts.22467

Artifact

EmptyHexagonLean Software

Authors Bernardo Subercaseaux , Wojciech Nawrocki , James Gallicchio , Cayden Codel , Mario Carneiro , Marijn J. H. Heule

Part of: Collection: Supplementary Materials
License: Apache License 2.0
Publication Date: 2024-11-28

Document Identifiers

DOI: 10.4230/artifacts.22467
URN: urn:nbn:de:0030-drops-224673

Author Details

Bernardo Subercaseaux

Carnegie Mellon University, Pittsburgh, PA, USA

Wojciech Nawrocki

Carnegie Mellon University, Pittsburgh, PA, USA

James Gallicchio

Carnegie Mellon University, Pittsburgh, PA, USA

Cayden Codel

Carnegie Mellon University, Pittsburgh, PA, USA

Mario Carneiro

Carnegie Mellon University, Pittsburgh, PA, USA

Marijn J. H. Heule

Carnegie Mellon University, Pittsburgh, PA, USA

Content

Software (Source Code): https://github.com/bsubercaseaux/EmptyHexagonLean/tree/itp2024
archived version

Version/Status

Content created at: 2023-12-12

Cite As Get BibTex

Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden Codel, Mario Carneiro, Marijn J. H. Heule. EmptyHexagonLean (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22467

Description

Code related to the Lean verification of the empty hexagon theorem

Subject Classification

Programming Languages

Lean
TeX
C
Python
Nix
Shell
Makefile

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail