Stream: Hierarchy Builder devs & users

Topic: inductive predicate to boolean function

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: May 28 2023 at 18:29 UTC