Artifact
IsaFoL/Superposition_Calculus Other
Authors
Martin Desharnais 
,
Balazs Toth
- Part of: Collection: Supplementary Materials
- License: BSD 3-Clause "New" or "Revised" License
- Publication Date: 2024-11-28
Document Identifiers
Author Details
- Max-Planck-Institut für Informatik, Saarland Informatics Campus, Saarbrücken, Germany
Content
- Other (Isabelle/HOL theory files): https://github.com/IsaFoL/IsaFoL/tree/ITP2024-IsaSuperposition/Superposition_Calculus
-
archived version
Version/Status
- Content created at: 2024-06-05
Cite As Get BibTex
Martin Desharnais, Balazs Toth. IsaFoL/Superposition_Calculus (Artifact, Isabelle/HOL theory files). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/artifacts.22462
Subject Classification
Programming Languages
- Isabelle/HOL
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)