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

Extract proof script #76

Merged
merged 8 commits into from
Jun 22, 2023
Merged

Extract proof script #76

merged 8 commits into from
Jun 22, 2023

Commits on Jun 20, 2023

  1. metamath: ast: Add top_down and bottom_up for recursively applying a … 

    …function.
    @nishantjr
    nishantjr committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    758e19b View commit details
    Browse the repository at this point in the history

  2. metamath-extract: Allow replacing lemmas names with shorter ones.

    @nishantjr
    nishantjr committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    08e3cbd View commit details
    Browse the repository at this point in the history

  3. metamath: ast: mapping over Terms

    @nishantjr
    nishantjr committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    6b3de24 View commit details
    Browse the repository at this point in the history

  4. metamath-extract: Abbreviate most metamath constants used in proofs

    @nishantjr
    nishantjr committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    5df2963 View commit details
    Browse the repository at this point in the history

  5. mm-benchmarks: Add slices/indexed/compressed version of the proofs

    @nishantjr
    nishantjr committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    5c49d7e View commit details
    Browse the repository at this point in the history

  6. Explicitly define byteorder. fails on older versions of python withou… 

    …t it?
    @nishantjr
    nishantjr committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    ddaa901 View commit details
    Browse the repository at this point in the history

  7. pyupgrade

    @nishantjr
    nishantjr committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    110bfcf View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2023

  1. Add only the script files

    @fiedlr
    fiedlr committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    29ed750 View commit details
    Browse the repository at this point in the history