Lambda weak omega An implementation of lambda weak omega in Coq, for the final project of the course "Logic Programming".