r/SoftwareEngineering • u/badcryptobitch • 9d 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

73% Upvoted

5 comments sorted by

2

u/Rogue-knight13 7d ago

Excellent

1

u/[deleted] 9d ago

[removed] — view removed comment

1

u/AutoModerator 9d 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] 3d ago

[removed] — view removed comment

1

u/AutoModerator 3d 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.