Drag and drop terms into missing elements to complete the term!

This term has hit the max reduction depth.
Either change the term or the reduction strategy

Source Code ⋅ Inspired by 2swap and Tromp Diagrams ⋅ © 2026 Ramarko Bhattacharya. All rights reserved.