https://github.com/sr-lab/quantum-hoare-logic

https://github.com/sr-lab/quantum-hoare-logic

Last synced: about 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/sr-lab/quantum-hoare-logic
• Owner: sr-lab
• License: apache-2.0
• Created: 2021-03-04T11:18:28.000Z (over 5 years ago)
• Default Branch: main
• Last Pushed: 2021-11-30T13:15:35.000Z (over 4 years ago)
• Last Synced: 2025-01-11T15:34:23.042Z (over 1 year ago)
• Language: Coq
• Size: 244 KB
• Stars: 0
• Watchers: 4
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# quantum-hoare-logic

Run ```coq_makefile -f _CoqProject -o CoqMakefile``` to update Makefile.  

Run ```rm .*.aux && make clean ``` to clean the compiled files.  

Run ```make``` to compile the files.  

To use simplify quantum expressions, you can use the script ```MatricesConverter.py``` as follows:

```

python3 MatricesConverter.py

enter expression: [ENTER EXPRESSION]

enter name: [ENTER NAME]

```