▽The Coq proof assistant ●07/08 00:30 The Coq team has decided that Coq will be renamed into 'The Rocq Prover'. Background information available here. The rename is currently in preparation, we hope to have a new visual identity and website by the end of 2024, and to do a first release of Rocq around that time.
▽米澤研究室 ●07/05 21:25 Last modified 7 years ago Last modified on 01/06/18 00:36:46
▽ Isabelle ●05/24 16:28 Now available: Isabelle2024 (May 2024)More robust and scalable support for distributed build clusters.Official support for ARM64 on Linux (notably Docker on Apple Silicon).ML: antiquotations for try-catch-finally.ML: physical interrupts are now distinguished from runtime system failures.System: support for global registry in TOML format.System: support the Go development environment (all pla
