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: Apr 19 2024 at 16:01 UTC