📦 hediet / lean-experiments

★ 0 stars ⑂ 0 forks 👁 0 watching

📥 Clone https://github.com/hediet/lean-experiments.git

HTTPS git clone https://github.com/hediet/lean-experiments.git

SSH git clone git@github.com:hediet/lean-experiments.git

CLI gh repo clone hediet/lean-experiments

ZIP Desktop VS Code

Henning Dieterichs update bc15bc8 3 months ago 📝 History

📂 main View all commits →

📁 .devcontainer

📁 CellularAutomatas

📁 other

📄 .gitignore

📄 lake-manifest.json

📄 lakefile.lean

📄 lean-toolchain

📄 Main.lean