digama0 / ast_export

AST export from Lean 4
11Updated 8 months ago

Alternatives and similar repositories for ast_export:

Users that are interested in ast_export are comparing it to the libraries listed below