I
isabelle
Projects with this topic
-
Isabelle server supervisor and load balancer
Updated -
Isabelle Server Client and Protocol library for Golang
Updated -
Proofbuddy and related software packaged via nix
Updated
GitLab will be updated to version 16.11 on Tuesday 21.05, the platform will be unavailable from 23:00 until midnight (Berlin time).
Release notes: https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
Isabelle server supervisor and load balancer
Isabelle Server Client and Protocol library for Golang
Proofbuddy and related software packaged via nix