Skip to content
Polynomial Proof of the Propositional Pigeon Hole Principle in Deep Inference
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
.gitignore
pigeons.tex
virginialake.sty
Something went wrong with that request. Please try again.