GitHub repository: leanprover/LNSym
Primary language: Lean
Description: Armv8 Native Code Symbolic Simulator in Lean