Draft: Progress on upgrading Rocq#60

Draft

JanetYin wants to merge 18 commits intomasterfrom

feature/upgrade-rocq

Commits on Jan 22, 2026

Draft: Progress on upgrading Rocq
JanetYin
committed

Commits on Jan 28, 2026

some update about NodeSemantics, NodeSemanticsLemmas.
JanetYin
committed

Commits on Feb 2, 2026

Update make, wip: simplify decide-based proofs
berpeti
committed

Commits on Feb 3, 2026

Commits on Feb 5, 2026

Commits on Feb 11, 2026

Added missing files, minor edits
berpeti
committed