Skip to content

Research candidate 1.0.0

Pre-release
Pre-release

Choose a tag to compare

View all tags
@ipitchford ipitchford released this 20 Oct 14:50
v1.0.0-candidate
10b74a2

Research candidate, version 1.0.0-candidate. See the manuscript, STATUS and ASSURANCE records for theorem hypotheses and unresolved boundaries. Exact finite checks support the written arguments; external human peer review and proof-assistant formalisation are not claimed. Assets are bound by SHA256SUMS; no private review metrics are included.

Assets 6
Loading