Stage L3
2024
- Extending Isabelle/HOLBee with Support for Refinements décembre 01, 2024
- Generating a User-Manual with and for Isabelle/DOF mars 09, 2024
2023
- Extending Isabelle/HOLBee with Support for Refinements octobre 17, 2023
- Connecting Isabelle/C with Isabelle/Clean octobre 17, 2023
- Connecting Isabelle/C with Isabelle/Clean octobre 17, 2023