Actions: opencompl/lean4
Actions
17 workflow runs
17 workflow runs
wn
and wr
into DivModState
Backport
#14:
Pull request #21
closed
by
alexkeizer
getElem_truncate
Backport
#13:
Pull request #19
closed
by
tobiasgrosser