Update README

** README.md : add missing helper files
kylechui · Jun 4, 2024 · c637389 · c637389
1 parent 7932b44
commit c637389
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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 - Helper lemmas for diagonal matrices.
+- WFHelpers.v - Helper lemmas for well-formed matrices.
+- Permutations.v - Helper lemmas for permutations.