A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper
Here you can share your experience with the project you are suggesting or its comparison with logict-sequence. Optional.
A valid email to send you a verification link when necessary or log in.