8 forks: 7 public, 0 internal, and 1 private
Created date
View Actris project
Marijn van Wezel /
Actris
Bump Iris and use `unwrap`.
0
Updated
Mar 09, 2026
0
0
0
0
Updated
Mar 09, 2026
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
