Dominique Unruh

icon indicating a website link https://qis.rwth-aachen.de/people/unruh/

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

Results 2 repositories owned by Dominique Unruh

scala-isabelle

35
Stars
7
Forks
Watchers

A Scala library for controlling/interacting with Isabelle

verified publisher icon dominique-unruh

qrhl-tool

17
Stars
3
Forks
Watchers

Proof assistant for qRHL

verified publisher icon dominique-unruh