jutty/blog
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

New link: Revisiting an early critique of formal verification

Browse source
This commit is contained in:
jultty 2025-04-19 00:53:56 -03:00
commit f0b6d5aa8d
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
content/links/lawrencecpaulson-revisiting-a-critique-of-verification.md Normal file
View file

@ -0,0 +1,6 @@
+++
title = "Revisiting an early critique of formal verification"
date = 2025-04-19T00:53:46-03:00
[extra]
url = "https://lawrencecpaulson.github.io/2025/03/14/revisiting_demillo.html"
+++