Skip to content

Add ProofConcept package: certificates and proofs of algebraic facts#38

Open
antonleykin wants to merge 2 commits into
developmentfrom
claude/proofconcept-package-bhafq2
Open

Add ProofConcept package: certificates and proofs of algebraic facts#38
antonleykin wants to merge 2 commits into
developmentfrom
claude/proofconcept-package-bhafq2

Add ProofConcept design conversation & rationale

4a36183
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar