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 intoleanprover:masterfrom

bryangingechen:pasteGoal

Commits on Nov 14, 2020

(WIP) add insertGoal command
bryangingechen
committed