Skip to content

Actions: Maokami/vqc_in_lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add QBra structure with operations Lean Action CI #7: Commit 415892f pushed by Maokami
December 31, 2024 07:08 3m 42s main
main
December 31, 2024 07:08 3m 42s
feat: update Qubit notation and enhance QState proofs, including simp… Lean Action CI #6: Commit 4f51c0e pushed by Maokami
December 29, 2024 09:36 3m 57s main
main
December 29, 2024 09:36 3m 57s
feat: enhance QState with additional proofs and definitions, update Q… Lean Action CI #5: Commit 9262623 pushed by Maokami
December 26, 2024 00:18 4m 17s main
main
December 26, 2024 00:18 4m 17s
feat: replace Multiqubit with QState, implement QState structure and … Lean Action CI #4: Commit a985983 pushed by Maokami
December 23, 2024 17:16 4m 10s main
main
December 23, 2024 17:16 4m 10s
feat: add multiqubit support with QState definition and Kronecker pro… Lean Action CI #3: Commit 4447b70 pushed by Maokami
December 22, 2024 10:13 4m 12s main
main
December 22, 2024 10:13 4m 12s
docs: remove redundant descriptions from README.md Lean Action CI #2: Commit 4698d11 pushed by Maokami
December 22, 2024 07:50 1h 24m 24s main
main
December 22, 2024 07:50 1h 24m 24s
docs: update README to include VQC tutorial Lean Action CI #1: Commit 9b9cf6a pushed by Maokami
December 22, 2024 07:46 1h 21m 43s main
main
December 22, 2024 07:46 1h 21m 43s