I

isabelle

Projects with this topic

ProveIT / proveit.nix

Proofbuddy and related software packaged via nix

nix proveit isabelle
+ 1 more

0

Updated Nov 20, 2024

0 0 1

Updated Nov 20, 2024
ProveIT / Isabelle Server Manager

Isabelle server supervisor and load balancer

nix go isabelle
+ 2 more

0

Updated Nov 13, 2024

0 0 2 28

Updated Nov 13, 2024
ProveIT / isalink

Isabelle Server Client and Protocol library for Golang

go isabelle

0

Updated Oct 23, 2024

0 0 0

Updated Oct 23, 2024