Want to ensure Erlang correctness using formal methods? Péter Bereczky & Dániel Horpácsi’s Code BEAM talk explores verifying Core Erlang code with the Coq/Rocq proof system. The video is now public! Watch here: youtu.be/_GygjVGrrzs

0 likes 0 replies