Giters
SchrodingerZhu
/
LeanGccBackend
Lean4 backend using `libgccjit`!
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
10
Watchers:
3
Issues:
0
Forks:
SchrodingerZhu/LeanGccBackend Stargazers
Anqur
anqurvanillapy
Gin
catbeat
Siegmentation Fault
forked-from-1kasper
Jason Manuel
jmanuel1
Rujia Liu
rujialiu
Schrodinger ZHU Yifan
SchrodingerZhu
Soonho Kong
soonhokong