chore: preserve in-progress KRL Agda proofs (review before merge)#31

hyperpolymath merged 1 commit into

mainhyperpolymath/krl:mainfrom

claude/krl-preserve-agda-proof-wiphyperpolymath/krl:claude/krl-preserve-agda-proof-wipCopy head branch name to clipboard