Zipperposition
From MaRDI portal
Software:43962
No author found.
Source code repository: https://github.com/sneeuwballen/zipperposition/
Related Items (11)
Unnamed Item ⋮ Superposition with structural induction ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Superposition for \(\lambda\)-free higher-order logic ⋮ Superposition with lambdas ⋮ Making higher-order superposition work ⋮ Making higher-order superposition work ⋮ Superposition with lambdas ⋮ Superposition with first-class booleans and inprocessing clausification ⋮ Superposition for full higher-order logic
This page was built for software: Zipperposition
