Def captureException

Modification history

2026-10-23 11:07
MathlibTest/CrossRefAttribute.lean
chore: modulize most of MathlibTest (#45134) …
Deleted captureExceptionView on Github →
2024-09-02 13:40
test/StacksAttribute.lean
feat: parser for Stacks Project Tags (#16230) …
Added captureExceptionView on Github →