ChildCare Schedules Help

Offline childcare staff scheduling with classroom coverage, floaters, and covered break/lunch/prep workflows.

For TestFlight testers

Start with the TestFlight Quick Start, then use the User Manual for details.

Formal verification note

This app uses an exact-cover scheduling engine formally proven using Rocq. The Rocq proof is a soundness proof: if the app returns a schedule, the returned schedule satisfies the exact-cover rules it was given.

Rocq: https://rocq-prover.org/

Support

Contact: satrajit.roy@gmail.com