Skip to content
GitLab
Explore
Sign in
7 forks: 6 public, 0 internal, and 1 private
Created date
View Actris project
Philip K. /
Actris
Fix URLs to Linear Actris paper
0
Updated
Dec 11, 2025
0
0
0
0
Updated
Dec 11, 2025
View Actris project
Simcha van Collem /
Actris
Deny warnings again.
0
Updated
Dec 05, 2025
0
0
0
0
Updated
Dec 05, 2025
View Actris project
Ike Mulder /
Actris
Update authors.
0
Updated
Nov 30, 2025
0
0
0
0
Updated
Nov 30, 2025
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
Nov 24, 2025
0
0
0
0
Updated
Nov 24, 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
