Person
Steven Dio
A software engineer and the developer of NanoLean, a lightweight Lean formal proof checker. Steven Dio focuses on the field of formal verification, contributing tooling that supports the validation of formalized proofs written in the Lean proof assistant language.
Timeline (last 90 days)
Oct 11
Software engineer Steven Dio developed a Lean checker called NanoLean, used to check whether existing Lean code is correct.
Unverified50%