To the #formalmethods community.

I have extensive programming experience and I want to get into #formalmethods, with the objective of formalising algorithms that work with time intervals.

I have started with Lean, but I have the feeling it is too low level for what I need.

What do you recommend?

Please re-tweet.