Skip to content
GitLab
Explore
Sign in
Adam
Iris
Repository
Branches
Overview
Active
Stale
All
upd_plain
838112ef
·
Add plain in conclusions of *UpdPlainly axioms
·
May 17, 2024
master
default
protected
5ae02407
·
update dependencies
·
Apr 19, 2024