📦 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 find_some.lean 473740b 8 months ago 📝 History

📂 473740b09937af130c6953a20d3339d99c31bd7e View all commits →

📁 .devcontainer

📁 .lake

📄 ca.lean

📄 compose.dio

📄 find_some.lean

📄 lake-manifest.json

📄 lakefile.lean

📄 lean-toolchain

📄 Main.lean