Actions: opencompl/lean4
Actions
17 workflow runs
17 workflow runs
getElem_truncate
Label PR based on Comment
#16:
Issue comment #19 (comment)
created
by
tobiasgrosser