📦 hediet / lean-experiments

lean-experiments / .lake
📂 473740b09937af130c6953a20d3339d99c31bd7e
📁 ..
📁 build
📁 packages
📄 lakefile.olean
📄 lakefile.olean.lock
📄 lakefile.olean.trace