QuodLibet
From MaRDI portal
Cited in
(7)- Tactic-based inductive theorem prover for data types with partial operations (Diss., Univ. Kaiserslautern, 1999)
- Shallow confluence of conditional term rewriting systems
- \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps
- SPIKE
- InKa
- Oyster
- Computer-assisted human-oriented inductive theorem proving by \textit{descente infinie} -- a manifesto
This page was built for software: QuodLibet
