Skip to content

Commit 0a6416e

Browse files
committed
refactor: separate the proof construction into its own function
1 parent 958c96c commit 0a6416e

File tree

3 files changed

+1688
-1635
lines changed

3 files changed

+1688
-1635
lines changed

0 commit comments

Comments
 (0)