2 ms·
Nah, no! Leslie Lamport is quite far away from constructive mathematics. You will for example see his explanation of logic in the TLA+ video lectures is entirel
by auggierose 7y ago
Nah, no! Leslie Lamport is quite far away from constructive mathematics. You will for example see his explanation of logic in the TLA+ video lectures is entirely classical.