Zipperposition
From MaRDI portal
Software:43962
swMATH32251MaRDI QIDQ43962FDOQ43962
Author name not available (Why is that?)
Source code repository: https://github.com/sneeuwballen/zipperposition/
Cited In (11)
- Title not available (Why is that?)
- Superposition with lambdas
- Title not available (Why is that?)
- Superposition with structural induction
- Making higher-order superposition work
- Superposition with lambdas
- Title not available (Why is that?)
- Making higher-order superposition work
- Superposition with first-class booleans and inprocessing clausification
- Superposition for full higher-order logic
- Superposition for \(\lambda\)-free higher-order logic
This page was built for software: Zipperposition
