Skip to content

docs: add comprehensive academic documentation for AffineScript

c0fdd0d
Select commit
Loading
Failed to load commit list.
Merged

Add comprehensive academic proofs and formal verification #20

docs: add comprehensive academic documentation for AffineScript
c0fdd0d
Select commit
Loading
Failed to load commit list.