Skip to content

Pull requests: HOL-Theorem-Prover/hol-webpages

New pull request New
Clear current search query, filters, and sorts
0 Open 11 Closed
0 Open 11 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Re-generate the cheatsheet
#14 by hrutvik was merged Jan 6, 2025 Loading…
1
Re-generate the cheatsheet (again)
#13 by hrutvik was merged Jan 24, 2023 Loading…
Re-generate the cheatsheet
#12 by hrutvik was merged Jan 23, 2023 Loading…
2
add link to updated HOL4 course
#11 by arolle was merged Jun 13, 2022 Loading…
1
Improve cheatsheet clarity
#10 by dwRchyngqxs was merged Nov 28, 2021 Loading…
2
correct link for the vim plugin documentation
#9 by arolle was merged May 14, 2021 Loading…
1
Add instructions for build after re-pull
#8 by satnam6502 was merged Jan 16, 2019 Loading…
1
correct typo: "studends" to "students"
#7 by guojing0 was merged Jul 3, 2017 Loading…
slides of ITP course at KTH added
#6 by thtuerk was merged Jun 30, 2017 Loading…
add mention of the IRC channel to the front page
#3 by xrchz was merged Oct 18, 2013 Loading…
Just trying a pull request
#2 by acjf3 was merged Sep 5, 2012 Loading…
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.