Stream: Hierarchy Builder devs & users

Topic: inductive predicate to boolean function


view this post on Zulip Notification Bot (Nov 11 2020 at 10:54):

This topic was moved by Cyril Cohen to #Elpi users & devs > inductive predicate to boolean function


Last updated: Jan 29 2023 at 15:02 UTC