Robuta

https://us.metamath.org/holuni/hbov.html hbov - Higher-Order Logic Explorer higher order logic hbov explorer https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.281 Higher-order Logic Learning and lambda-Progol higher order logic learning lambda progol https://researcher.itu.dk/p/en/research-outputs/induction-and-recursion-principles-in-a-higher-order-quantitative Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability — IT... Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability in a induction recursion principles higher