# Entanglement Proof Expression Lanugage

This is a Language for storing ad4m entanglement proofs; that is the proof that associated different cryptographic keys to each other.