;; 2026-04-12.  mints.scm

;; (load "~/git/minlog/init.scm")

(add-pvar-name "A" "B" (make-arity))

(set-goal "((((A -> B) -> A) -> A) -> B) -> B")
(strip)
...

(proof-to-expr-with-formulas)

(set-goal "((((A -> B) -> A) -> A) -> B) -> B")
(prop)

(proof-to-expr-with-formulas)

(define proof (current-proof))
(define nproof (np proof))
(proof-to-expr-with-formulas nproof)