PetitLambda is a lambda calculus interpreter that visualizes the reduction process of lambda terms. It supports multiple evaluation strategies and allows users to choose from plain text to LaTex output format.
The software’s interface is user-friendly and intuitive, making it easy to navigate and grasp the underlying concepts. The evaluation strategies are customizable, allowing users to select the one that works best for them. Moreover, with its support for LaTex output format, it is easy to export the results for educational or research purposes.
Overall, the PetitLambda software is an excellent tool for both beginners and advanced users of the lambda calculus concept. It significantly simplifies the otherwise complicated reduction process while providing flexibility in terms of output formats. Its user-friendly interface and customizable evaluation strategies make it a top choice for anyone interested in this field.
Version 0.1: N/A