Pigeonhole-Principle. Solution to the Pigeonhole Principle exercise in Software Foundations, without excluded middle.

github.com/llbit/Pigeonhole-Principle

Problem

Audience

Updates

No founder updates yet. Check back soon.