2 posts
@lobsters Introduction to Formal Verification with Lean (Part 1) #FormalVerification #Lean #Programming
Enter the Mastodon instance your account is hosted at.
Don't have an account? Find a server at joinmastodon.org
@overreacted A Lean Syntax Primer #Programming #Software #Lean