Geeks
SchrodingerZhu
/
LeanGccBackend
Lean4 backend using `libgccjit`!
Primary Language
Lean
LeanGccBackend GitHub
Markdown
Readme
0
Issues
10
Stargazers
3
Watchers
This repository is not active