search

LucianoXu / NQPV

NQPV is an assistant tool for the formal verification of nondeterministic quantum programs.
Apache License 2.0
4 stars 0 forks source link

Consider subprogram as proof hints #55

Open LucianoXu opened 2 years ago

LucianoXu commented 2 years ago

although loop invariant may be a problem, it is necessary to include subprograms into proof hints