Skip to content

construct certificates in type Term instead of Expr#1

Open
Hagb wants to merge 1 commit into
mainfrom
cert-term
Open

construct certificates in type Term instead of Expr#1
Hagb wants to merge 1 commit into
mainfrom
cert-term

Commits

Commits on Nov 15, 2025