dominique-unruh
Professor for quantum information systems at RWTH Aachen and for cryptography at University of Tartu.
RWTH Aachen, University of Tartu
Pinned Repositories
afp
Git clone of official afp repositories
bounded-operators
Isabelle theory about bounded operators
forward-hoare
Isabelle support for forward reasoning in Hoare logic
hksu-verification
Postquantum verification of the Fujisaki-Okamoto transform variant by Hövelmanns, Kiltz, Schäge, Unruh
infinite-set-sum-isabelle
Theory about infinite sums in Isabelle/HOL
isabelle-to-lean
Converting Isabelle proof terms to Lean (and other provers)
mathquill-for-gmail
Browser extension for editing math in GMail using MathQuill
proof-editor
qrhl-tool
Proof assistant for qRHL
scala-isabelle
A Scala library for controlling/interacting with Isabelle
dominique-unruh's Repositories
dominique-unruh/scala-isabelle
A Scala library for controlling/interacting with Isabelle
dominique-unruh/qrhl-tool
Proof assistant for qRHL
dominique-unruh/mathquill-for-gmail
Browser extension for editing math in GMail using MathQuill
dominique-unruh/hksu-verification
Postquantum verification of the Fujisaki-Okamoto transform variant by Hövelmanns, Kiltz, Schäge, Unruh
dominique-unruh/bounded-operators
Isabelle theory about bounded operators
dominique-unruh/afp
Git clone of official afp repositories
dominique-unruh/forward-hoare
Isabelle support for forward reasoning in Hoare logic
dominique-unruh/isabelle-to-lean
Converting Isabelle proof terms to Lean (and other provers)
dominique-unruh/java-patterns
Library for functional pattern matching in Java
dominique-unruh/render-math
Framework for rendering math
dominique-unruh/stuff
Web app for maintaining stuff I own
dominique-unruh/tensor-product
Isabelle/HOL library for (Hilbert) tensor products
dominique-unruh/assessments
Software for e-tests
dominique-unruh/declmath
LaTeX packages for declaring and using semantic math
dominique-unruh/easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
dominique-unruh/home-automation
Home automation software
dominique-unruh/isabelle
git mirror of the Munich isabelle hg repository
dominique-unruh/isabelle-tidbits
Various small Isabelle developments
dominique-unruh/latex
Various LaTeX packages etc.
dominique-unruh/lens-pairs
dominique-unruh/luby-rackoff-formalization
dominique-unruh/mathquill
Easily type math in your webapp
dominique-unruh/pkgbuild
Personal pkgbuild files
dominique-unruh/proofgeneral
This repo is the new home of Proof General
dominique-unruh/proofgeneral.github.io
Sources for the Proof General website at https://proofgeneral.github.io/
dominique-unruh/public-files
dominique-unruh/qrhl-local-variables-isabelle
Isabelle/HOL development for the paper "Local Variables and Quantum Relational Hoare Logic"
dominique-unruh/quick-find
dominique-unruh/tensor-product-isabelle
Tensor products on Hilbert spaces and bounded operators
dominique-unruh/vimium
The hacker's browser.