Max Baumann (Feb 16 2024 at 14:46): Max Baumann (Feb 16 2024 at 14:46):Hey! I'm trying to get nunchaku to work on a lemma, that (apparently) uses a Rep_ function somewhere, and got the error Unsupported low-level constant in problem: Rep_lnat. Does this mean nunchaku can not work with lifted types at all, or does it need some kind of setup for them?
Last updated: May 02 2024 at 08:19 UTC