Skip to content
GitLab
Explore
Sign in
4 forks: 3 public, 0 internal, and 1 private
Created date
View Actris project
Sanjit Bhat /
Actris
switch to rocq-iris package
0
Updated
Sep 01, 2025
0
0
0
0
Updated
Sep 01, 2025
View Actris project
Thomas Somers /
Actris
Bumped Iris
0
Updated
Aug 22, 2025
0
0
0
0
Updated
Aug 22, 2025
View Actris project
Dan Frumin /
Actris
Revert "coq.dev is not stable enough for regular CI"
0
Updated
Jun 20, 2021
0
0
0
0
Updated
Jun 20, 2021
