Independent LARK implementation: Lean-checked verification for a bounded CUDA/HIP GPU kernel subset
Lean Updated 2 days ago 1 commits
synth-dev|Mirror: harsh-nod/lark (⭐0)
2 days agoAbout
Independent LARK implementation: Lean-checked verification for a bounded CUDA/HIP GPU kernel subset
Readme