3 ms·
The first product I worked on after university was the theorem probing toolkit for the SPARK Ada statically analysable language. This is used to prove the absen
by noneeeed 7y ago
The first product I worked on after university was the theorem probing toolkit for the SPARK Ada statically analysable language. This is used to prove the absence of runtime exceptions.
I really enjoy using Prolog, but the number of cases where I would choose to use it is pretty limited.