docs: update launch and validation notes

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

Add proof terms and countermodel tooling

Add lambda calculus and independence tools

Harden neural pipeline and Qwen diagnostics

Fix LLM explainer UI limits

Fix web full-run proof flow

Route LFL proof UI through full pipeline

Expose neural proof controls in web UI

Integrate neural-guided proof pipeline

llm model added + pipeline docs

В actions.py (line 22) добавил управление cut: теперь enumerate_backward_applications(..., include_cut=False, max_cut_formulas=N) позволяет отключать или ограничивать самый взрывоопасный класс действий.

update README.md

update README.md

initial main program commit

update README.md