Djinn.LJT
provable
prove
type
Proof
type
MoreSolutions