Skip to content
Navigation Menu
Toggle navigation
Sign in
Product
Actions
Automate any workflow
Packages
Host and manage packages
Security
Find and fix vulnerabilities
Codespaces
Instant dev environments
GitHub Copilot
Write better code with AI
Code review
Manage code changes
Issues
Plan and track work
Discussions
Collaborate outside of code
Explore
All features
Documentation
GitHub Skills
Blog
Solutions
By size
Enterprise
Teams
Startups
By industry
Healthcare
Financial services
Manufacturing
By use case
CI/CD & Automation
DevOps
DevSecOps
Resources
Topics
AI
DevOps
Innersource
Open Source
Security
Software Development
Explore
Learning Pathways
White papers, Ebooks, Webinars
Customer Stories
Partners
Open Source
GitHub Sponsors
Fund open source developers
The ReadME Project
GitHub community articles
Repositories
Topics
Trending
Collections
Enterprise
Enterprise platform
AI-powered developer platform
Available add-ons
Advanced Security
Enterprise-grade security features
GitHub Copilot
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search or jump to...
Search code, repositories, users, issues, pull requests...
Search syntax tips
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Sign in
Sign up
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
acl2
/
acl2
Public
Notifications
You must be signed in to change notification settings
Fork
98
Star
351
Code
Issues
107
Pull requests
4
Actions
Projects
0
Wiki
Security
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights
Pull requests: acl2/acl2
Labels
42
Milestones
5
Labels
42
Milestones
5
New pull request
New
4 Open
1,114 Closed
4 Open
1,114 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
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
Remove ACL2s section from installation page
#1602 opened
Jul 8, 2024
by
calebegg
Loading…
3
[projects/arm/] Extending rounding theorems to RTO
#1592 opened
Apr 29, 2024
by
voskh0d
Loading…
2
Fix indenting of function expressions like foo::|fie|
#1525 opened
Aug 15, 2023
by
westfold
Loading…
defxdoc :code-source definitional support
#1459 opened
Jan 26, 2023
by
bendyarm
Loading…
18
ProTip!
Adding
no:label
will show everything without a label.
You can’t perform that action at this time.