Artifact

Canonical Software

Author Chase Norman

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2025-09-22

Document Identifiers

DOI: 10.4230/artifacts.24703
URN: urn:nbn:de:0030-drops-247039

Author Details

Chase Norman

Carnegie Mellon University

Content

Software: https://github.com/chasenorman/Canonical
archived version

Version/Status

Content created at: 2025-04-14
Status: Active (at the time of publication 2025-09-22)

Cite As Get BibTex

Chase Norman. Canonical (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.24703

Description

Canonical exhaustively searches for terms in dependent type theory.

Subject Classification

Keywords

dependent types
theorem proving
program synthesis
formal methods
theorem prover
automated reasoning
lean4

Programming Languages

Rust

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

X

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail

© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact