Repository navigation

fix: work-around malformed `all` field in definitions - #14

Closed

ammkrn wants to merge 1 commit into

leanprover:masterfrom

ammkrn:def_all_list

Commits on Jan 26, 2026

fix: handle malformed declars from attributes
ammkrn
committed
cffc77d