Skip to content

merge: branch 'master' of https://github.com/leanprover/lean4

33725c5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat: allow attributes on structure fields #13382

merge: branch 'master' of https://github.com/leanprover/lean4
33725c5
Select commit
Loading
Failed to load commit list.