Skip to content

Add optional structured verification results - #87

Open
williamjblair wants to merge 1 commit into
leanprover:masterfrom
williamjblair:codex/structured-verification-results
Open

Add optional structured verification results#87
williamjblair wants to merge 1 commit into
leanprover:masterfrom
williamjblair:codex/structured-verification-results

Add optional structured verification results

226ba9f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs