Freie Universität Dietersheim

Freie Universität Dietersheim's repositories

A verified permissioned centralized Blockchain for Isabelle/HOL

Language:IsabelleGPL-3.011 20

A fully verified implementation of the Java Virtual Machine

Language:CLGPL-3.09 20

The Falso axiomatic system for Isabelle/HOL

WTFPL7 2 1

Webseite der Freien Universität Dietersheim

Language:HTML3 50

Das Wort heißt nukular.

Language:CoffeeScriptMIT2 10

MoonGen95

Language:LuaMIT1 20

Isabelle/Lower Order Logic

Language:IsabelleLGPL-3.001 1

ontological argument in Isabelle/HOL

Language:IsabelleGPL-3.0020

This is a terrible idea that should never have happened

Language:IsabelleMIT040

A wholesome blog

Language:HTMLApache-2.0030