4 ms·

> Formal verification / theorem proving You could use your sabatical to learn F*, Agda or similar. Easy to then transition to a nice, slow moving and meaningf

by nextos 4y ago

> Formal verification / theorem proving You could use your sabatical to learn F*, Agda or similar. Easy to then transition to a nice, slow moving and meaningful engineering position.