Skip to content
New issue

release 0.4.0

Past due by about 1 year 0% complete

Milestone 0.4.0:

  • Robust typechecking for BV, UF, and Array logics and combinations thereof
  • Bug fixes

There are no closed issues in this milestone.

Issues will automatically be moved here when they are closed.