1970 5 4 Sheer drudgery threatened to overwhelm them unless they used machine-assisted information handling.
1991 89 107 A number of formulations of intuitionistic type theory have been considered as a basis for studying machine-assisted formal proof development.