search

LucianoXu / NQPV

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

Toward a theorem prover #39

Open LucianoXu opened 1 year ago

LucianoXu commented 1 year ago

Actually we have implemented a simple version of the 'dependent type system'. It is enough for now, but still not a full theorem prover.