Hello Dr. Laufer, Konstantin, TLA extraction is completed. Please check: https://github.com/LUC-FMitF/TLA-Extraction/blob/main/merged.json. Please let me know if you have any questions or need anything further.
Hello Dr. Laufer, Konstantin, TLA extraction is completed. Please check: https://github.com/LUC-FMitF/TLA-Extraction/blob/main/merged.json. Please let me know if you have any questions or need anything further.