Skip to content

feat: lightweight support for optional pp in raw tactic state#138

Open
dselsam wants to merge 1 commit intoleanprover-community:masterfrom dselsam:tspp-simple
+2-1

Commits

Commits on Mar 17, 2022