mechanical-turk/Property-Based_Testing_with_PropEr

You can install and run Livebook inside a Hugging Face Space. Here's a tutorial on how to do that.