GitHub repository: leanprover/NKL
Primary language: Python
Description: A formalization of the NKI ISA