Alkemet News
Introduction to Formal Verification with Lean Part 1
(hashcloak.com)
213
points
bybadcryptobitch
3 days ago |
41
comments
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date