diff options
| author | Escherichia | 2024-03-29 13:21:08 +0100 |
|---|---|---|
| committer | Escherichia | 2024-03-29 13:48:15 +0100 |
| commit | 786c54c01ea98580374638c0ed92d19dfae19b1f (patch) | |
| tree | 4ad9010c76553797420bcaa2976ed02c216a2757 /backends/lean/lakefile.lean | |
| parent | bd89156cbdcb047ed9a6c557e9873dd5724c391f (diff) | |
added file and line arg to craise and cassert
Diffstat (limited to 'backends/lean/lakefile.lean')
0 files changed, 0 insertions, 0 deletions