#formalsystems

3 posts

@emi_h A New mCRL2 Type System #Programming #FormalSystems #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417436
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417436
Don't have an account? Find a server at joinmastodon.org
Jun 11, 2026
@emi_h Typechecking mCRL2 #Programming #Algorithms #FormalSystems
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417420
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417420
Don't have an account? Find a server at joinmastodon.org
Mar 20, 2026
@eric_normand What are formal systems? #Programming #FormalSystems #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/eric_normand/posts/22436050
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/eric_normand/posts/22436050
Don't have an account? Find a server at joinmastodon.org
Dec 9, 2025