-
Notifications
You must be signed in to change notification settings - Fork 5
Pull requests: rocq-community/metaprogramming-rosetta-stone
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
New example with comments: ho_equalities, written in Ltac, Ltac2 and coq-elpi
#21
opened Dec 5, 2023 by
louiseddp
Loading…
A simplification tactic for Z-module equations, specific to Z
#17
opened Jun 30, 2023 by
pi8027
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.