UP
automation of deduction

HOME

formal maths

The LCF Paradigm

UP © RBJ created 95/10/8 modified 96/9/1 HOME