/C-parsing-for-Lean4

A parser for ANSI C, in Lean4.

Primary LanguageC

Stargazers