Stage L 3
- Extending Isabelle/HOLBee with Support for Refinements December 01, 2024
- Generating a User-Manual with and for Isabelle/DOF March 09, 2024
2023
- Connecting Isabelle/C with Isabelle/Clean October 17, 2023
- Extending Isabelle/HOLBee with Support for Refinements October 17, 2023
- Connecting Isabelle/C with Isabelle/Clean October 17, 2023