From: Gabriele Pozzani <gabriele.pozzani@gmail.com> Dear all, it's possible define in Isabelle a theory parameterized on an index?
Thanks Gabriele
Last updated: Jul 03 2025 at 01:50 UTC