Infinitv: User Manual