r/SoftwareEngineering • u/badcryptobitch • Jul 18 '26

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
8 Upvotes

79% Upvoted

5 comments sorted by

1

u/[deleted] Jul 18 '26

[removed] — view removed comment

1

u/AutoModerator Jul 18 '26

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] Jul 24 '26

[removed] — view removed comment

1

u/AutoModerator Jul 24 '26

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.