Обновить отчёт лабораторной работы 2

Добавить лабораторную работу 2

Update: analysis.py

Update: analysis.py

Update: analysis.py

Название папки лабораторной работы 1

Лабораторная работа 1

Initial public release

Preserve tokenizer ids for appended tokens

Address audit findings for proof coverage and web hardening

Fix lambda proof summary and PDF export

Fix lambda proof summary and PDF export

Pdf export added for model results

Add relation assignment catalog and compact task UI

Add product proof terms and homework sequents

Add live math preview for formal web inputs

Add final formal tools web interface