Skip to content

docs(clara): honest PhD/Coq provenance, fix proof-count contradictions

62eac63
Select commit
Loading
Failed to load commit list.
Open

docs(clara): honest PhD/Coq provenance, fix proof-count contradictions #4

docs(clara): honest PhD/Coq provenance, fix proof-count contradictions
62eac63
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar