forked from leanprover/lean4
Pull requests: bollu/lean4
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
wip: convert bRecOn.below to pure lean by hand translation
#16
opened Jan 23, 2024 by
bollu
Loading…
ProTip!
Filter pull requests by the default branch with base:master.