Skip to content
This repository has been archived by the owner on Jun 20, 2024. It is now read-only.

fix: discard intermediate proofs #106

Merged
merged 10 commits into from
Jun 14, 2024
Merged

Commits on Jun 14, 2024

  1. Configuration menu
    Copy the full SHA
    91a9c11 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    45488dc View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    07e78a3 View commit details
    Browse the repository at this point in the history
  4. fix: remove files

    atanmarko committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    3f655fc View commit details
    Browse the repository at this point in the history
  5. fix: comment

    atanmarko committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    5e440bb View commit details
    Browse the repository at this point in the history
  6. fix: reviews

    atanmarko committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    50d7e25 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    bf05f9c View commit details
    Browse the repository at this point in the history
  8. fix: error

    atanmarko committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    4dc5169 View commit details
    Browse the repository at this point in the history
  9. fix: refactor

    atanmarko committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    39ece21 View commit details
    Browse the repository at this point in the history
  10. fix: comment

    atanmarko committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    b1b10ea View commit details
    Browse the repository at this point in the history