diff options
| author | Son HO | 2024-02-01 09:57:18 +0100 |
|---|---|---|
| committer | GitHub | 2024-02-01 09:57:18 +0100 |
| commit | 0960ad16838a43da3746f47cf5b640bfbb783d84 (patch) | |
| tree | 8797cb7d6787ad9b03ed0c5266e0486a56747308 /backends/lean/Base/Progress/Base.lean | |
| parent | 689954a5c84c29c9b86f02e5009f286d909c355c (diff) | |
| parent | 4f619ca103e91d31ef18535e1d7a8e1f157206c3 (diff) | |
Merge pull request #67 from zhassan-aws/lean-steps
Add instructions on using files generated by the Lean backend
Diffstat (limited to 'backends/lean/Base/Progress/Base.lean')
0 files changed, 0 insertions, 0 deletions