Eberban wiki
Pages (Latest 10 updated) :
Menu (Edit):
Chaining
A centrepiece of eberban’s glorious design. Connects predicates via logical operations and shares their arguments. Achieves unprecedented simplicity of writting complex HOL expressions :p