Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Merge requests
!525
add inv and oinv tactics that are basically a smarter and fixed inversion_clear
代码
评审变更
检出分支
下载
补丁
文本差异
Ralf Jung
requested to merge
ralf/inv
into
master
Oct 14, 2023
Overview
15
Commits
3
Pipelines
7
Changes
6
Expand
Fixes
#40 (closed)
Sadly I couldn't figure out how to make
inv 1
work.
See Zulip
Merge request reports