2 Pull requests merged by 2 people

• Create selection-based buttons for prover

  #1542 merged Mar 5, 2025

• Syntax factory

  #1530 merged Mar 4, 2025

2 Pull requests opened by 2 people

• Bigger integers

  #1548 opened Mar 3, 2025

• Update dependencies staying on 5.2.0

  #1550 opened Mar 4, 2025

1 Issue opened by 1 person

• set up a linter for the codebase

  #1549 opened Mar 4, 2025

11 Unresolved conversations

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.

• Polymorphic equality

  #1267 commented on Mar 3, 2025 • 3 new comments

• Invalid type application breaks statics throwing exception

  #1459 commented on Mar 5, 2025 • 0 new comments

• Derivation trees

  #1302 commented on Mar 2, 2025 • 0 new comments

• refactor: use debug .. in for filter expression

  #1388 commented on Mar 3, 2025 • 0 new comments

• Live Projectors

  #1420 commented on Mar 5, 2025 • 0 new comments

• Exercise Mode Editing Capabilities

  #1444 commented on Mar 5, 2025 • 0 new comments

• Parameterized Types

  #1457 commented on Feb 28, 2025 • 0 new comments

• Agentic Assistant

  #1464 commented on Mar 6, 2025 • 0 new comments

• Final tutorial sys

  #1468 commented on Mar 6, 2025 • 0 new comments

• Flat projectors

  #1505 commented on Mar 5, 2025 • 0 new comments

• Proof Steps

  #1533 commented on Mar 5, 2025 • 0 new comments