Pigeons is a project mainly written in ..., it's free.

Polynomial Proof of the Propositional Pigeon Hole Principle in Deep Inference