Skip to content

Dep step proof

Evan Marzion requested to merge dep-step-proof into master
  • Eliminated a lot of arithmetic proofs
  • Implemented some opaque Environment constants
  • Documented TODOs up to EMPTY_SET

Merge request reports