GitHub repository: lean-dojo/LeanInfer
Primary language: Lean
Description: Native Neural Network Inference in Lean