I

isabelle

Projects with this topic

ProveIT / Isabelle Server Manager

Isabelle server supervisor and load balancer

nix go isabelle
+ 2 more

0

Updated Sep 17, 2024

0 0 4 29

Updated Sep 17, 2024
ProveIT / isalink

Isabelle Server Client and Protocol library for Golang

go isabelle

0

Updated Sep 16, 2024

0 0 0

Updated Sep 16, 2024
ProveIT / proveit.nix

Proofbuddy and related software packaged via nix

nix proveit isabelle
+ 1 more

0

Updated Sep 16, 2024

0 0 0

Updated Sep 16, 2024