It's at least still used where it originated in proof systems, like Isabelle (as used, for example, in hardware verification work like https://www.lightbluetouc

It's at least still used where it originated in proof systems, like Isabelle (as used, for example, in hardware verification work like https://www.lightbluetouchpaper.org/2022/07/22/formal-cheri/ https://www.lightbluetouchpaper.org/2022/07/22/formal-cheri/ for indirect industrial relevance).