Skip to content

feat: AI-policy#1149

Draft
jstoobysmith wants to merge 3 commits into
leanprover-community:masterfrom
jstoobysmith:AI-Policy
Draft

feat: AI-policy#1149
jstoobysmith wants to merge 3 commits into
leanprover-community:masterfrom
jstoobysmith:AI-Policy

Update AI-POLICY.md

8b4e9ae
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Lean based style linters
succeeded Jun 14, 2026 in 39m 7s