Actions: leanprover/LNSym
Actions
40 workflow run results
40 workflow run results
stepiTac
directly construct an application of the ri…
docs
#34:
Commit 31575ac
pushed
by
shigoel
Sym
/SymContext
(#86)
docs
#32:
Commit 557e9f4
pushed
by
shigoel
stepi
theorems in the relevant program's namespa…
docs
#25:
Commit f5626a8
pushed
by
shigoel
sym1_n
tactic as a more intelligent version of `sym…
docs
#22:
Commit 3c26388
pushed
by
shigoel
Program.min
/max
to min?
/max?
to reflect it r…
docs
#18:
Commit b7e3709
pushed
by
shigoel