coq/ltac2

A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.

Size: 658 KB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 31 - Forks: 10