Any update on the Set theoretic types?

[Exadra37]

@mgibowski

There are some links on Guillaume’s page:
https://www.irif.fr/users/gduboc/index

The best link on his page its the demo:

https://typex.fly.dev/