Duckki Oe

icon company CertiK icon location Seattle, WA, USA icon location Static Analysis & Formal Methods Software Engineer.

Results 1 repositories owned by Duckki Oe

lean-quantum

17
Stars
4
Forks
Watchers

Formalized quantum computing in Lean theorem prover

verified publisher icon duckki