leanprover / NKL Public

Notifications You must be signed in to change notification settings
Fork 0
Star 3

A formalization of the NKI ISA

Apache-2.0 license

3 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
.github/workflows		.github/workflows
NKL		NKL
interop		interop
.gitignore		.gitignore
CODEOWNERS		CODEOWNERS
Export.lean		Export.lean
LICENSE		LICENSE
Main.lean		Main.lean
NKL.lean		NKL.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Repository files navigation

Neuron Kernel Language (NKL)

About

A formalization of the NKI ISA

Apache-2.0 license

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 3

Languages

Python 95.1%
Lean 3.4%
Other 1.5%