panproto on Mythryl: “We have a new release (v0.44.0) that adds dependent sorts to the…”

We have a new release (v0.44.0) that adds dependent sorts to the panproto GAT macros (class!, inductive!, derive_theory!) and exposes JSON/YAML/Nickel theory DSL loaders on the Python bindings as Theory.{from_json, from_yaml, from_nickel, from_path}.

github.comRelease v0.44.0 · panproto/panprotoAdded panproto-gat-macros::class!, inductive!, and derive_theory! accept dependent sorts in argument and output positions (closes #59). The macros previously parsed each argument and output as a s...

5/5/26, 10:12 pm0 reposts0 likes

Post