ESC
↑↓ navigate ↵ open esc close Search powered by
ElixirEvents
Events Speakers Talks Topics
Sign in Register
GitHub
Events Speakers Talks Topics
GitHub
Sign in Register
Lambda Days 2024 — Speakers
MT

Maja Trela

Developer

Conference speaker.

Talks (1)

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

Maja Trela

Lambda Days 2024

ElixirEvents
About Contribute GitHub Elixir Forum Discord Slack

Made with for the BEAM community

elixirevents.org