ESC

↑↓ navigate ↵ open esc close Search powered by

Events Speakers Talks Topics

Sign in Register

Events Speakers Talks Topics

Sign in Register

MT

Maja Trela

Developer

Conference speaker.

Talks (1)

WasmRef-Isabelle: how to formally verify a not-slow interpreter...

WasmRef-Isabelle: how to formally verify a not-slow interpreter...

Lambda Days 2024

ElixirEvents

About Contribute GitHub Elixir Forum Discord Slack

Made with for the BEAM community

elixirevents.org