equal
deleted
inserted
replaced
8 |
8 |
9 * October 2024 - January 2025: Lukas Bartl, Universität Augsburg |
9 * October 2024 - January 2025: Lukas Bartl, Universität Augsburg |
10 Inference of variable instantiations with Metis. |
10 Inference of variable instantiations with Metis. |
11 |
11 |
12 * 2024: Fabian Huch, TU München |
12 * 2024: Fabian Huch, TU München |
13 Search engine "find_facts": web application based on Apache Solr. |
13 Find_Facts search engine: web application based on Apache Solr. |
14 |
14 |
15 * April - October 2024: Thomas Lindae and Fabian Huch, TU München |
15 * April - October 2024: Thomas Lindae and Fabian Huch, TU München |
16 Improvements to the language server for Isabelle/VSCode. |
16 Improvements to the language server for Isabelle/VSCode. |
17 |
17 |
18 * June - July 2024: Fabian Huch |
18 * June - July 2024: Fabian Huch |