- Notifications
You must be signed in to change notification settings - Fork25
Pull requests: eprover/eprover
Author
Label
Projects
Milestones
Reviews
Assignee
Assigned to nobodyLoading
Sort
Pull requests list
Watchlist indexing and clause abstraction code review
#15 openedApr 22, 2020 byConstantinRuhdorferLoading…
ProTip! Follow long discussions withcomments:>50.