1 Pull request merged by 1 person

• Release 1.3

  #329 merged Aug 14, 2025

1 Issue opened by 1 person

• Universal quantifier ∀ is the wrong height

  #330 opened Aug 16, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• It's been a long time — when can we expect an update?

  #327 commented on Aug 18, 2025 • 0 new comments