Creator leaderboard

M

Creator

mfornet

Unverified

@mfornetProfile

1
builds: #529
on leaderboard

1 build

ranked by upvotes

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