Veriff
Online identity verification with superpowers
Show HN: Real-Time Email Address Verification
2020-04-13
Show HN: License key verification tool written in Go
2020-04-12
Verified Probabilistic Specifications of Bloom Filters in Coq
2020-04-10
Hackers are posting verified zoom accounts on the dark web
2020-04-06
Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]
2020-04-06
Verifpal Dramatically Speeds Up Formal Modeling for Pandemic-Tracing Protocol
2020-04-05
Verified Functional Programming in Agda
2020-04-05
Coronavirus News and Verified Channels
2020-04-04
Ask HN: Why can't computer verify Mochizuki's proof of ABC conjecture?
2020-04-03
The Hitchhiker’s Guide to Logical Verification [pdf]
2020-04-03
