Mehdi,you may want to check with the author. What kind of remix? (https://www.youtube.com/results?search_query=lamport+tla%2B) From https://lamport.azurewebsites.net/If you believe this to be the case, or if you think you have something to tell me that I want to hear, you can send me email at the address obtained by reversing the order of the characters in the ten-letter string ll.sulpalt and appending @gmail.com to it.--On Wed, Sep 10, 2025 at 5:21 PM Mehdi Sabraoui <sabraoui.m@xxxxxxxxx> wrote:HelloI'd like to remix the TLA+ Video Course on youtube, but I don't see a license on the site https://lamport.azurewebsites.net/video/videos.html. Does it have an explicit license? If not, would it be possible to contact Dr. Lamport to request permission?Thanks!Mehdi Sabraoui--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/c18a7f48-6a70-4b54-933d-68978ad9b6bfn%40googlegroups.com.
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/0TthPZMcFe4/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CAGxa7HUO87z7sw5J86bZiZ6VZRHANePLwizPUNMeAoZc9Dbq4Q%40mail.gmail.com.