Skip to content

feat(proof edit): allow editing a proof type#681

Merged
raphodn merged 3 commits intomasterfrom raphodn/proof-edit-typeJul 7, 2024