I

isabelle

Projects with this topic

ProveIT / Isabelle Server Manager

Isabelle server orchestrator and load balancer

nix go isabelle
+ 3 more

0

Updated Dec 20, 2024

0 0 2 21

Updated Dec 20, 2024
ProveIT / proveit.nix

Proofbuddy and related software packaged via nix

nix proveit isabelle
+ 1 more

0

Updated Dec 20, 2024

0 0 0

Updated Dec 20, 2024
ProveIT / isalink

Isabelle Server Client and Protocol library for Golang

go isabelle

0

Updated Dec 16, 2024

0 0 0

Updated Dec 16, 2024