Availability of the Lean4 DSL #3
Description
Do you plan to release the DSL used for Delta-Prover? They do not appear to be a part of the leansim_lean_runtime.zip file released with the report.
{{ message }}
Do you plan to release the DSL used for Delta-Prover? They do not appear to be a part of the leansim_lean_runtime.zip file released with the report.