Due to a change in the storage system for Git repositories, the GitLab service will not be available on Saturday, December 7, 2024 from 10am to 6pm. Thank you for your understanding.

N

nix

Projects with this topic

ProveIT / Isabelle Server Manager

Isabelle server orchestrator and load balancer

nix go isabelle
+ 3 more

0

Updated Dec 02, 2024

0 0 3 26

Updated Dec 02, 2024
Joshua Balthasar Kobschätzki / isalink

go nix

0

Updated Apr 09, 2024

0

Updated Apr 09, 2024
ProveIT / proveit.nix

Proofbuddy and related software packaged via nix

nix proveit isabelle
+ 1 more

0

Updated Dec 04, 2024

0 0 1

Updated Dec 04, 2024