Skip to content

Commit

Permalink
Update README (#52)
Browse files Browse the repository at this point in the history 
* Update README
** README.md : add missing helper files

* make descriptions more specific
  • Loading branch information
@ArshMalik02
ArshMalik02 authored Jun 4, 2024
1 parent 7932b44 commit 5778e79
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

0 comments on commit 5778e79

Please sign in to comment.