ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators

Devs

ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators | Read Paper on Bytez