https://github.com/leanprover/LNSym
Armv8 Native Code Symbolic Simulator in Lean
https://github.com/leanprover/LNSym
lean4
Last synced: about 1 year ago
JSON representation
Armv8 Native Code Symbolic Simulator in Lean
- Host: GitHub
- URL: https://github.com/leanprover/LNSym
- Owner: leanprover
- License: apache-2.0
- Created: 2024-01-04T14:50:35.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2024-11-13T21:30:33.000Z (over 1 year ago)
- Last Synced: 2024-11-13T22:23:14.615Z (over 1 year ago)
- Topics: lean4
- Language: Lean
- Homepage:
- Size: 196 MB
- Stars: 63
- Watchers: 7
- Forks: 18
- Open Issues: 19
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Codeowners: .github/CODEOWNERS