Reverse Dependencies of jax-verify

The following projects have a declared dependency on jax-verify:

• nfl-veripy — Formal verification of neural feedback loops (NFLs)
• unicycle-controller — A package for unicycle control and reachability analysis