[draft] Frontend formalization - #992

Draft

victornicolet wants to merge 7 commits into

mainfrom

frontend-formalization

Commits on Jul 27, 2026

Verification of CST to AST translation (#983)

committed
8574bdf
refactoring in Frontend
victornicolet
committed
a76a8f4
Adding the parser
victornicolet
committed
cc75e38
further refactor into frontend
victornicolet
committed
a6db990
additional renaming and adding copyright headers
victornicolet
committed
eae65a0
make parser accessible
victornicolet
committed
86418c7
refactoring further; move some theorems to Frontend.lean
victornicolet
committed
e379d91