Question thread for meeting

leanprover / LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

Apache License 2.0

60 stars 16 forks source link

Closed insightmind closed 2 years ago

insightmind commented 2 years ago

This issue is an ongoing list on questions for the next meeting.

insightmind commented 2 years ago

Is there a way to obtain a list/array of all possible inductive type options? (especially for enumerate types)