KO
|
EN
gitlite — search
Search
#python
#java
#python3
#arduino
#golang
#machine-learning
#rust
#html
#flask
#javascript
#seismology
#nodejs
LeanEVM
★ 10
Open GitHub ↗
A toy implementation of the EVM in Lean4.
Download README (.md)
Explore Similar Repositories
Resume-1
:
No description available.
nuxt-ui-ai
:
Testing langchain with nuxt ui documentation
AutoPET2-Submission
:
No description available.
clang-tool-template
:
A basic repository for a Clang-based tool, with CMake integration.
ctf-creator-template
:
No description available.
// repository documentation
Was this content helpful?
★ 0
(0 ratings)
Select Rating:
★
★
★
★
★
Submit Feedback
Recent Feedback
×
Download README
Do you want to download the
README.md
file for
LeanEVM
?
Download (.md)
# LeanEVM A toy implementation of the EVM in Lean4. ## Building In order to build the LeanEVM, you need to have the Lean4 toolchain installed (see [here](https://leanprover.github.io/lean4/doc/setup.html) for instructions). ``` % lake update % lake build ``` This process can take a while to complete, as it compiles all of Mathlib.
