### What is it?

Zoxiy is a web application for learning and teaching first-order formal logic
to the level of a good first undergraduate course at university.

### Who is it for?

Instructors, their students and independent learners.

#### -> instructors

Anyone teaching first-order or propositional logic at undergraduate level or below
can use zoxiy for a course.

Instructors can select or create a course of exercises for their students.
Students’ overall progress can be monitored (there are some charts) and
tutors can grade individual exercises, optionally providing comments on
incorrect answers.

#### -> students

Students can complete logic exercises and monitor their progress.

Most of the exercises are graded immediately, and some advice on errors is
provided automatically.

#### -> independent learners

Use zoxiy to learn independently; several fairly comprehensive
sets of exercises are available to all users.

### What kinds of exercises are covered?

Set and answer exercises involving proofs, truth-tables, translations, possible situations, counterexamples, and more.

Students get from one exercise to the next with a single click.

### Automatic Grading

Most exercises are graded automatically.

### Help for Students

Tutors can easily provide advice and feedback to students on their incorrect answers. This feedback is re-used when other students provide comparably incorrect answers.

When setting exercises you can link to helpful resources such as lecture slides or a section of a textbook.

### Track Students’ Progress

Tutors can review students’ progress and comment on their incorrect answers.

### Monitor Tutors’ Grading

Zoxiy allows instructors to monitor tutors’ grading.

### Sets of Exercises

Use an existing set of exercises or create a custom set of exercises linked to your own teaching schedule.

### Just a Web Page

Use zoxiy in any current web browser: there’s nothing to install.