Dominique Unruh

https://qis.rwth-aachen.de/people/unruh/

RWTH Aachen, University of Tartu Professor for quantum information systems at RWTH Aachen and for cryptography at University of Tartu.

Results 2 repositories owned by


                                            Dominique Unruh

scala-isabelle

39

Stars

8

Forks

Watchers

A Scala library for controlling/interacting with Isabelle

dominique-unruh

theorem-proving

qrhl-tool

20

Stars

3

Forks

Watchers

Proof assistant for qRHL

dominique-unruh

quantum-cryptography