3 ms·

Is any part of STEPS formally specified? My understanding is that the goal of the project was to produce a system with a minimal volume of source code. Writin

by panic 10y ago

Is any part of STEPS formally specified? My understanding is that the goal of the project was to produce a system with a minimal volume of source code. Writing specifications alongside the source would make the project bigger, not smaller.