Reverse Dependencies of theodias

The following projects have a declared dependency on theodias:

• rethon — A Formal Model of Reflective Equilibrium