VOOZH about

URL: https://github.com/xubaiw/Dta.lean

⇱ GitHub - xubaiw/Dta.lean: Stata .dta parser for Lean 4 · GitHub

Skip to content
This repository was archived by the owner on Mar 16, 2023. It is now read-only.
You can’t perform that action at this time.