This repository was archived by the owner on Apr 2, 2025. It is now read-only.

(WIP) add insertGoal command#233

Draft

bryangingechen wants to merge 1 commit into

leanprover:masterfrom

bryangingechen:pasteGoal

Workflow runs completed with no jobs