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: Oct 13 2024 at 01:02 UTC