Skip to content

v0.46.2
Compare
Choose a tag to compare
@coffeeinprogress coffeeinprogress released this 02 Oct 12:45
· 130 commits to main since this release
v0.46.2
b3ee88a

0.46.2 - 2024-10-02

Bug fixes

  • Do not produce (distinct ...) for singletons, see #3005
  • Show note that expression is unsupported instead of reporting a counterexample claiming that e.g. {42} \in SUBSET Nat is false, see #2690
Assets 7
Loading