Diffusion afp-devel f8ba1eaa5cec

adapted QHLProver to isabelle-dev/409ca22dee4c
f8ba1eaa5cec
Actions

Tags

None

Subscribers

None

Description

adapted QHLProver to isabelle-dev/409ca22dee4c

Details

Provenance

Authored on

Parents

rAFPd6153e63e6cb: adapted to isabelle-dev/409ca22dee4c

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFPf8ba1eaa5cec: adapted QHLProver to isabelle-dev/409ca22dee4c.Oct 7 2021, 10:20 PM

Changes (4)

Path

Size

thys/

QHLProver/

Matrix_Limit.thy

Quantum_Hoare.thy

Quantum_Program.thy

rAFPf8ba1eaa5cec

thys/QHLProver/Grover.thy

Loading...

thys/QHLProver/Matrix_Limit.thy

Loading...

thys/QHLProver/Quantum_Hoare.thy

Loading...

thys/QHLProver/Quantum_Program.thy

Loading...