Pinned Repositories
polylux
A package for creating slides in Typst
clever-quotes
kalkulierbar
Learning Framework for Logic Calculi
key
KeY Theorem Prover for Deductive Java Verification
key-docs
Documentation for the KeY Theorem Prover
polylux
A package for creating slides in Typst
rml
key
KeY Theorem Prover for Deductive Java Verification
hayagriva
Rusty bibliography management.
typst
A new markup-based typesetting system that is powerful and easy to learn.
Drodt's Repositories
Drodt/clever-quotes
Drodt/kalkulierbar
Learning Framework for Logic Calculi
Drodt/key
KeY Theorem Prover for Deductive Java Verification
Drodt/key-docs
Documentation for the KeY Theorem Prover
Drodt/polylux
A package for creating slides in Typst
Drodt/rml