Closed aaronpeikert closed 1 year ago
closes #80
Docs can be previewed here: https://formal-methods-mpi.github.io/Workshop.jl/previews/PR117
Why CC0 over CC BY?
closes #80