I

isabelle

Projects with this topic

ProveIT / Isabelle Server Manager

Isabelle server supervisor and load balancer

Topics: nix go isabelle
+ 2 more

0

Updated Apr 29, 2024

0 0 2 19

Updated Apr 29, 2024
ProveIT / proveit.nix

Proofbuddy and related software packaged via nix

Topics: nixos nix proveit
+ 2 more

0

Updated Apr 29, 2024

0 0 1

Updated Apr 29, 2024
ProveIT / isalink

Isabelle Server Client and Protocol library for Golang

Topics: go isabelle

0

Updated Apr 16, 2024

0 0 0

Updated Apr 16, 2024