1. Home
  2. Science
  3. Mathematics
  4. Church

Science · Mathematics

Church

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About Church

Church- Program understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can simplify complicated expressions. Uses Python.

Tags

Meetings

Where it sits

Science Mathematics

More in Mathematics

See all →