Subject: An Isabelle Foundation?things going after the recent retirement of Tobias and
Date: Fri, 10 Jan 2025 14:16:33 +0000
From: Lawrence Paulson via isabelle-dev
Some of us have been talking about how to keep
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 489 |
Nodes: | 16 (2 / 14) |
Uptime: | 50:26:16 |
Calls: | 9,671 |
Calls today: | 2 |
Files: | 13,719 |
Messages: | 6,170,364 |