dominique-unruh Goto Github PK

afp

Git clone of official afp repositories

android-heart

A beating heart Android app

autowifi

Fork of AutoWifi (http://www.manatlan.com/page/autowifi)

bounded-operators

Isabelle theory about bounded operators

choo

:steam_locomotive::train: - sturdy 4kb frontend framework

declmath

LaTeX packages for declaring and using semantic math

easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

easycrypt-tartu

Tartu's Easycrypt clone

forward-hoare

Isabelle support for forward reasoning in Hoare logic

fstar-probabilism

Probabilism effect for F*

hierarchical-proofs

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

git mirror of the Munich isabelle hg repository

isabelle-docker

Dockerfiles for the Isabelle theorem prover

isabelle-tidbits

Various small Isabelle developments

isabelle-to-lean

Converting Isabelle proof terms to Lean (and other provers)

isacrypt

java-patterns

Library for functional pattern matching in Java

latex

Various LaTeX packages etc.

latex-circuits

Package for drawing quantum circuits

latexml-plugin-stex

A LaTeXML Plugin for Semantic LaTeX (sTeX)

lens-pairs

libisabelle

A Scala library which talks to Isabelle

luby-rackoff-formalization

mathlint

mathquill

Easily type math in your webapp

mathquill-for-gmail

Browser extension for editing math in GMail using MathQuill

minimal-example

Creates a minimal example from sources that exhibit a problem

onthefly