Commit 2023-11-21 14:32 383ec128
View on Github →fix: elaborate linarith arguments without errToSorry Also, checks for new metavariables in the elaborated terms, which are almost surely not usable in a reliable way.
fix: elaborate linarith arguments without errToSorry Also, checks for new metavariables in the elaborated terms, which are almost surely not usable in a reliable way.