Task organizer that helps students manage their homework.
The software enables students to have unlimited practice and homework problems.
An app to help students practice derivations in the typed lambda calculus.