Ruiz Nieto, M. E. (2023). LogicElixirExamples repository (Version 0.1.0) [Computer software]