GitHub repository: leanprover/ANPU
Primary language: Lean
Created: 2024-09-18T14:06:56Z
Description: A formalization of the NKI ISA