Skip to content

Pull requests: metamath/metamath-knife

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Fix: Reject invalid characters in compressed proofs
#187 opened Jan 30, 2026 by zariuq Loading…
Spellchecking
#186 opened Jun 1, 2025 by tirix Collaborator Loading…
put parse trees in database order
#173 opened Oct 28, 2024 by digama0 Member Loading…
check global dv ordering
#164 opened Jul 3, 2024 by digama0 Member Loading…
improve axiom detection heuristic in axiom_use.rs
#162 opened Jun 15, 2024 by digama0 Member Loading…
support non-compressed proofs in axiom_use.rs
#161 opened Jun 15, 2024 by digama0 Member Loading…
Add minimizer functionality
#156 opened Jan 30, 2024 by tirix Collaborator Loading…
3 of 8 tasks
Verify definitions
#116 opened Jun 8, 2023 by tirix Collaborator Loading…
New trait to support work variables
#89 opened May 23, 2022 by tirix Collaborator Loading…
Abstract out the proof verification process
#63 opened Jan 21, 2022 by tirix Collaborator Draft
ProTip! Type g i on any issue or pull request to go back to the issue listing page.