multiple-of-threeo. A set of relations to determine if a miniKanren number is a multiple of three.

github.com/jasonhemann/multiple-of-threeo

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.