Daniel Drodt's repositories
key
KeY Theorem Prover for Deductive Java Verification
Language:JavaNOASSERTION000
Language:Rust000
key-docs
Documentation for the KeY Theorem Prover
000
Language:Typst000
polylux
A package for creating slides in Typst
Language:JuliaMIT000
kalkulierbar
Learning Framework for Logic Calculi
Language:TypeScriptGPL-3.0000