;; 2025-11-15.  ueb06.scm

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

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

;; Problem 24i

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

;; Peirce formula
(set-goal
 "(((A -> F) -> F) -> A) -> (((B -> F) -> F) -> B) ->((A -> B) -> A) -> A")
(assume "StabA" "StabB" "u")
...

(proof-to-expr-with-formulas)

;; Mints formula
(set-goal "((((A -> B) -> A) -> A) -> B) -> B")
(assume "u")
...