AtomSeek the directory or science  

Math: Logic and Foundations: Software: Page 2


the entire directory   only this category Advanced Search
 
Home: Math: Logic and Foundations: Software: Page 2
LINKS:
  Pages: [<<] 1 2
  • Church
    http://www.alcyone.com/software/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.

  Pages: [<<] 1 2
 
  HOME | ADD A LINK | MODIFY A LINK | LOGIN


Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people


atomseek.com
Webmaster - miroweb.com