Explore projects

View Aufgabenkatalog project

DIMA / ISDA / Aufgabenkatalog

Zusätzliche Übungsaufgaben für das Modul "Informationssysteme und Datenanalyse".

40

Updated Apr 25, 2025

40 38 0 1

Updated Apr 25, 2025
View proveit.nix project

ProveIT / proveit.nix
GNU Affero General Public License v3.0

Proofbuddy and related software packaged via nix

nix proveit isabelle
+ 1 more

0

Updated Apr 24, 2025

0 0 1

Updated Apr 24, 2025
View Isabelle Server Manager project

ProveIT / Isabelle Server Manager
GNU Affero General Public License v3.0

Isabelle server orchestrator and load balancer

nix go isabelle
+ 3 more

0

Updated Apr 23, 2025

0 0 3 26

Updated Apr 23, 2025