Skip to content

Pull requests: HOL-Theorem-Prover/HOL

New pull request New
Clear current search query, filters, and sorts
10 Open 1,000 Closed
10 Open 1,000 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix bug in suspend
#1824 by xrchz was merged Feb 19, 2026 Loading…
1
6
Add cachekey option to Holmake
#1820 by xrchz was merged Feb 17, 2026 Loading…
5
Updating the definition of a cycle
#1817 by Eric-C-Hall was merged Feb 10, 2026 Loading…
2
Radon-Nikodym Derivative Results
#1815 by jdyeager was merged Feb 8, 2026 Loading…
1
Translate word_of/to_bytes
#1814 by xrchz was merged Feb 10, 2026 Loading…
1
4
Finish tools directory refactor
#1808 by xrchz was merged Feb 4, 2026 Loading…
1
Continued work on tools refactoring
#1807 by xrchz was merged Feb 2, 2026 Loading…
1
Move build-related files to tools/build/
#1806 by xrchz was merged Feb 1, 2026 Loading…
1
Preserve environment when starting hol in kakoune
#1804 by xrchz was merged Feb 2, 2026 Loading…
4
Pair of fixes for mcandidate
#1801 by tanyongkiam was merged Jan 29, 2026 Loading…
1
Some central_limitTheory cleanups
#1800 by binghe was merged Jan 29, 2026 Loading…
1
TacticParse: handle backtick quotations as opaque tokens
#1798 by charles-cooper was merged Jan 26, 2026 Loading…
1
1
Move parsing modules to tools/Holmake/parsing/
#1796 by xrchz was merged Jan 29, 2026 Loading…
3
Central Limit Theorem
#1795 by KaiPhan was merged Jan 26, 2026 Loading…
1
Remove dead --lsp option from hol command
#1794 by xrchz was merged Jan 23, 2026 Loading…
1
Refactor traverser
#1793 by ordinarymath was merged Jan 23, 2026 Loading…
2
Slightly speed up term_pmatch
#1792 by ordinarymath was merged Jan 23, 2026 Loading…
2
Fix ty_sub to not recursively check theta = []
#1791 by ordinarymath was merged Jan 22, 2026 Loading…
1
Document prelude files
#1790 by xrchz was merged Jan 21, 2026 Loading…
5
termination_solve_simps: use ThmSetData API
#1789 by xrchz was merged Jan 19, 2026 Loading…
1
1
Make FRONT [] = []
#1788 by xrchz was merged Jan 20, 2026 Loading…
1
5
Reorganise doc directory
#1787 by xrchz was merged Jan 19, 2026 Loading…
1
1
Add cv_rep theorem for FUNION on num fmaps
#1785 by xrchz was merged Jan 18, 2026 Loading…
2
Reorganize utility modules into tools/util/ and tools/Holmake/util/
#1784 by xrchz was merged Jan 19, 2026 Loading…
1
Rename buildheap to hol with subcommand-based CLI
#1781 by xrchz was merged Jan 20, 2026 Loading…
10
ProTip! Mix and match filters to narrow down what you’re looking for.