From 5778e794ee194cbcd35dc5a30b5c187328bce867 Mon Sep 17 00:00:00 2001
From: Arsh Malik <51771221+ArshMalik02@users.noreply.github.com>
Date: Tue, 4 Jun 2024 13:54:17 -0700
Subject: [PATCH] Update README (#52)

* Update README
** README.md : add missing helper files

* make descriptions more specific
---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/README.md b/README.md
index 9ab00c3..95724de 100644
--- a/README.md
+++ b/README.md
@@ -38,3 +38,6 @@ proving parts of the appendix or main body of the paper:
 - PartialTraceDefinitions - Adding the functions for tracing out qubits, and
   properties of the function.
 - TraceoutHelpers - Contains helper lemmas for tracing out qubits.
+- DiagonalHelpers.v - Contains helpers lemmas that verify commutativity properties of diagonal matrices and diagonal properties control U and ccu U, where U is a diagonal matrix.
+- WFHelpers.v - Contains the solve_WF_matrix automation tactic for solving well-formedness goals.
+- Permutations.v - Helper lemmas for handling permutations, particularly useful in validating eigenvalue rearrangements and matrix decompositions.