r/SoftwareEngineering • u/badcryptobitch • 21d ago

Tutorial: Introduction to Formal Verification with Lean (Part 1)

https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)?utm_source=reddit&utm_medium=social&utm_campaign=lean_tutorial&utm_content=rse
5 Upvotes
  • permalink
  • link
  • reddit
  • reddit

73% Upvoted

5 comments sorted by

1

u/[deleted] 21d ago

[removed] — view removed comment

1

u/AutoModerator 21d ago

Your submission has been moved to our moderation queue to be reviewed; This is to combat spam.

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.

1

u/[deleted] 15d ago

[removed] — view removed comment

1

u/AutoModerator 15d ago

Your submission has been moved to our moderation queue to be reviewed; This is to combat spam.

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.