diff options
| author | Zyad Hassan | 2024-01-29 16:21:25 -0800 |
|---|---|---|
| committer | Zyad Hassan | 2024-01-29 16:21:25 -0800 |
| commit | 0de27f0b88c12d210e840de0ad18eccf11b5ef1d (patch) | |
| tree | 80cc28a963f36613ba122ad347c0e22b0de37b8a /backends/fstar/merge/Primitives.fst | |
| parent | 689954a5c84c29c9b86f02e5009f286d909c355c (diff) | |
Add instructions on using files generated by the Lean backend
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions