Creator leaderboard

M

Creator

mfornet

Unverified

@mfornetProfile

1
builds: #530
on leaderboard

1 build

ranked by upvotes

Teaser
Talos
A formal WebAssembly interpreter written in Lean 4 for program verification.
2h ago