search

EclipseFdn / open-vsx.org

Source of open-vsx.org
https://open-vsx.org/
Eclipse Public License 2.0
133 stars 40 forks source link

Claiming namespace tamarin-prover #2738

Closed jdreier closed 1 month ago

jdreier commented 1 month ago

As one of the current active maintainers of the Tamarin Prover, I would like to claim the namespace tamarin-prover.

See https://tamarin-prover.com/ and https://github.com/tamarin-prover/tamarin-prover.

kineticsquid commented 1 month ago

@jdreier Welcome!