What Is the Current and Accepted Definition of Formally Proved Software?
Posted4 months agoActive4 months ago
Original: What is the current and accepted definition of formally proved software?
Researchstory
informativeneutral
Debate
40/100
Formal VerificationProgrammingProof Assistants
Key topics
Formal Verification
Programming
Proof Assistants
Discussion Activity
Light discussionFirst comment
13h
Peak period
1
12-13h
Avg / period
1
Key moments
- 01Story posted
Aug 29, 2025 at 11:43 PM EDT
4 months ago
Step 01 - 02First comment
Aug 30, 2025 at 12:17 PM EDT
13h after posting
Step 02 - 03Peak activity
1 comments in 12-13h
Hottest window of the conversation
Step 03 - 04Latest activity
Aug 30, 2025 at 12:17 PM EDT
4 months ago
Step 04
Generating AI Summary...
Analyzing up to 500 comments to identify key contributors and discussion patterns
Discussion (1 comments)
Showing 1 comments
sunscream89
4 months ago
Production
View full discussion on Hacker News
ID: 45071735Type: storyLast synced: 11/17/2025, 8:00:56 PM
Want the full context?
Jump to the original sources
Read the primary article or dive into the live Hacker News thread when you're ready.