Last released Jun 3, 2026
Pipeline Synthesis Framework based on Finite Combinatory Logic with Predicates
Type based synthesis framework using inhabitation in FCLP
Supported by