Implement prototype for certificate generation#64

Closed

danbaterisna wants to merge 9 commits into

Commits on Oct 30, 2025

port arg parsing to cmdliner
danbaterisna
committed

Commits on Nov 3, 2025

add certificate module
danbaterisna
committed

Commits on Nov 4, 2025

Commits on Nov 5, 2025

extend usable tactics
danbaterisna
committed

Commits on Nov 7, 2025

add intro tactic and previously proven functions
danbaterisna
committed

Commits on Nov 10, 2025