Péter Bereczky - A Proof Assistant Based Formalisation of Core Erlang - Lambda Days 2020

Conference: Lambda Days 2020

Year: 2020

This video was recorded at Lambda Days 2020 http://www.lambdadays.org/lambdadays2020 Get involved in Lambda Days' next conference http://www.lambdadays.org Learn more about the talk: https://www.lambdadays.org/lambdadays2020/peter-bereczky Lambda Days Website: www.lambdadays.org Twitter: www.twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/11840018/