batteries icon indicating copy to clipboard operation
batteries copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

chore: upstream @[eqns]

Open kim-em opened this issue 2 years ago • 1 comments

kim-em avatar Sep 06 '23 10:09 kim-em

This feature has new utility now that definitions by wellfounded recursion are irreducible.

fgdorais avatar Jul 23 '24 11:07 fgdorais