Meet-Associativity theorem prover Implements proof tree search to prove the associativity of the meet operation of lattices. Uses Coq for theorem proving and Python for reinforcement learning. $ python3 main.py