ESC

↑↓ navigate ↵ open esc close Search powered by

Events Speakers Talks Topics

Sign in Register

Events Speakers Talks Topics

Sign in Register

JV

Jørgen Villadsen

Developer

Conference speaker.

Talks (1)

Teaching Automated Reasoning and Formally Verified Software

Teaching Automated Reasoning and Formally Verified Software

Jørgen Villadsen

Lambda Days 2021

ElixirEvents

About Contribute GitHub Elixir Forum Discord Slack

Made with for the BEAM community

elixirevents.org