Mika Feiler · @mkf
217 followers · 3430 posts · Server functional.cafe#FramaC WP just threw at me that #ACSL lambdas are not supported yet. How the hell am i supposed to use \numof ?! #framacWP #formalmethods
I have time to figure it out till Dec30
#framac #ACSL #framacWP #formalmethods
Last updated 5 years ago